Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. (Studies in logic and the foundations of mathematics ; v. 89)

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui.

(Studies in logic and the foundations of mathematics ; v. 89)

Call No. (NDL): MA41-116
Bibliographic ID of National Diet Library: 000006252001

Material type: 図書

Author: Latin-American Symposium on Mathematical Logic, 3d, State University of Campinas, 1976.ほか

Publisher: North-Holland Pub. Co.

Publication date: 1977.

Material Format: Paper

Capacity, size, etc.: xviii, 307 p. : ill. ; 23 cm.

NDC: -

View All

Notes on use

Note (General)：: Errata slip inserted.

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: 0720407524
Title: Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui.
Series Title: Studies in logic and the foundations of mathematics ; v. 89
Author Heading: Latin-American Symposium on Mathematical Logic, 3d, State University of Campinas, 1976.
Arruda, Ayda I.
Costa, Newton C. A. da.
Chuaqui, R.
Publication, Distribution, etc.: Amsterdam : North-Holland Pub. Co.
New York : North-Holland Pub. Co.
Amsterdam : sale distributors for the U.S.A. and Canada, Elsevier/North-Holland
New York : sale distributors for the U.S.A. and Canada, Elsevier/North-Holland
Publication Date: 1977.
Publication Date (W3CDTF): 1977
Extent: xviii, 307 p. : ill. ; 23 cm.
Place of Publication (Country Code): NL
Text Language Code: eng
Subject Heading: Nonclassical mathematical logic -- Congresses.
Model theory -- Congresses.
Computable functions -- Congresses.
LCC: QA9.4
DDC: 511/.8
NDLC: MA41
Note (General): Errata slip inserted.
Note (Bibliography): Includes bibliographies.
Holding library: 国立国会図書館
Call No.: MA41-116
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006252001
http://id.ndl.go.jp/bib/000006252001
LC Control Number: 77007366
https://lccn.loc.gov/77007366
Bibliographic Record Category (NDL): 211