TY  - BOOK
AU  - Arruda,Ayda I.
AU  - Costa,Newton C.A.da
AU  - Chuaqui,R.
ED  - Latin-American Symposium on Mathematical Logic,
TI  - Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 
SN  - 0720407524
AV  - QA9.4 .L37 1976
U1  - 511/.8 
PY  - 1977///
CY  - Amsterdam, New York, New York
PB  - North-Holland Pub. Co., sale distributors for the U.S.A. and Canada, Elsevier/North-Holland
KW  - Nonclassical mathematical logic
KW  - Congresses
KW  - Model theory
KW  - Computable functions
KW  - მათემატიკა
KW  - არაკლასიკური მათემატიკური ლოგიკა
KW  - მოდელირების თეორია
KW  - გამოთვლითი ფუნქციები
KW  - კონგრესები
N1  - Errata slip inserted; Includes bibliographies
ER  -