Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain, July 20-25, 1987

Material type: 図書

Author: edited by H.-D. Ebbinghaus ... [et al.]

Publisher: North-Holland

Publication date: 1989

Material Format: Paper

Capacity, size, etc.: 23 cm

NDC: 410.12

View All

Notes on use

Note (General)：: "'Logic Colloquium '87', the European Summer Meeting of the Association for Symbolic Logic, was held at the University of Granada from July 20 to July...

Related materials as well as pre- and post-revision versions

Studies in logic and the foundations of mathematics

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 0444880224
Title: Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
Author/Editor: edited by H.-D. Ebbinghaus ... [et al.]
Author Heading: Logic Colloquium
https://ci.nii.ac.jp/author/DA00307794
Ebbinghaus, Heinz-Dieter
https://ci.nii.ac.jp/author/DA01152693
Fernandez-Prida, J.
https://ci.nii.ac.jp/author/DA03804514
Garrido, M.
https://ci.nii.ac.jp/author/DA03804591
Lascar, D. (Daniel)
https://ci.nii.ac.jp/author/DA01902330
Rodriquez-Artalejo, M.
https://ci.nii.ac.jp/author/DA03804718
Publication, Distribution, etc.: North-Holland
Publication Date: 1989
Publication Date (W3CDTF): 1989
Size: 23 cm
Place of Publication (Country Code): ne
Text Language Code: en
Subject Heading: Logic, Symbolic and mathematical -- Congresses
LCC: QA9.A1
NDC: 410.12
Target Audience: 一般
Note (General): "'Logic Colloquium '87', the European Summer Meeting of the Association for Symbolic Logic, was held at the University of Granada from July 20 to July 25, 1987. The meeting was co-sponsored by the Journal 'Teorema'(Madrid) and the University of Granada." -- Pref
Related Material: Studies in logic and the foundations of mathematics
https://cir.nii.ac.jp/crid/1130282269761864832
Related Material (URI): https://ci.nii.ac.jp/ncid/BA07292699#entity
Periodical Title: Studies in logic and the foundations of mathematics
https://cir.nii.ac.jp/crid/1130282269761864832
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BA07292699 : BA07292699