Non-classical logics, model theory, and computability :
Latin-American Symposium on Mathematical Logic, 1976. State University of Campinas,
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. - North-Holland Pub. Co. ; sale distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1977. - xviii, 307 p. : ill. ; 23 cm. - Studies in logic and the foundations of mathematics ; v. 89 .
Errata slip inserted.
Includes bibliographies.
0720407524
77007366
Nonclassical mathematical logic--Congresses.
Model theory--Congresses.
Computable functions--Congresses.
მათემატიკა არაკლასიკური მათემატიკური ლოგიკა მოდელირების თეორია გამოთვლითი ფუნქციები კონგრესები
QA9.4 / .L37 1976
511/.8
517.11
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. - North-Holland Pub. Co. ; sale distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1977. - xviii, 307 p. : ill. ; 23 cm. - Studies in logic and the foundations of mathematics ; v. 89 .
Errata slip inserted.
Includes bibliographies.
0720407524
77007366
Nonclassical mathematical logic--Congresses.
Model theory--Congresses.
Computable functions--Congresses.
მათემატიკა არაკლასიკური მათემატიკური ლოგიკა მოდელირების თეორია გამოთვლითი ფუნქციები კონგრესები
QA9.4 / .L37 1976
511/.8
517.11