Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 / edited by C.A. Di Prisco. (Lecture notes in mathematics ; 1130)

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 / edited by C.A. Di Prisco.

(Lecture notes in mathematics ; 1130)

Call No. (NDL): M15-A2979
Bibliographic ID of National Diet Library: 000003124998

Material type: 図書

Author: Latin-American Symposium on Mathematical Logic (6th : 1983 : Caracas, Venezuela)ほか

Publisher: Springer-Verlag

Publication date: c1985.

Material Format: Paper

Capacity, size, etc.: vii, 407 p. ; 25 cm.

NDC: -

View All

Notes on use

Note (General)：: Sponsored by Asociación Venezolana para el Avance de la Ciencia (AsoVAC) ... et al.

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.

Kanto

横浜市立図書館
Paper
Call No.：
410.99
Book Registration Number：
0005066492
横浜市立図書館

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: 0387152369 (U.S. : pbk.)
Title: Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 / edited by C.A. Di Prisco.
Series Title: Lecture notes in mathematics ; 1130
Author Heading: Latin-American Symposium on Mathematical Logic (6th : 1983 : Caracas, Venezuela)
Di Prisco, C. A.
Asociación Venezolana para el Avance de la Ciencia.
Publication, Distribution, etc.: Berlin : Springer-Verlag
New York : Springer-Verlag
Publication Date: c1985.
Publication Date (W3CDTF): 1985
Extent: vii, 407 p. ; 25 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Alias of Author: Prisco, C. A. di.
Subject Heading: Logic, Symbolic and mathematical -- Congresses.
LCC: QA3
QA9.A1
DDC: 510 s
511.3
NDLC: M15
MA
Note (General): Sponsored by Asociación Venezolana para el Avance de la Ciencia (AsoVAC) ... et al.
Note (Bibliography): Includes bibliographies.
Holding library: 国立国会図書館
Call No.: M15-A2979
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003124998
http://id.ndl.go.jp/bib/000003124998
LC Control Number: 85014779
https://lccn.loc.gov/85014779
Bibliographic Record Category (NDL): 211