RecordNumber
20068
LC Class
QA
LC Number
9.4
LC CutterNumber
.L37
LC Date
1976
Dewey Class
511
Dewey Date
/.8
Title
Non-classical logics, model theory, and computability
Author Statement
edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
Publication
North-Holland Pub. Co. ;
Collation
xviii, 307 p. : ill. ; 23 cm
Series
Studies in logic and the foundations of mathematics ; v. 89
Notes
Errata slip inserted
Subject
Nonclassical mathematical logic -- Congresses,Model theory -- Congresses,Computable functions -- Congresses
ADDED ENTRIES
Arruda, Ayda I,Costa, Newton C. A. da,Chuaqui, R
Holding Info.
0720407524
DocumentNumber
706
SubTitle
proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Biblography
Includes bibliographies.
BL
BL