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
SubTitle :
proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Biblography :
Includes bibliographies.
