Non-classical logics, model theory, and computability
Subtitle: Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July ... in logic and the foundations of mathematics)
Publisher: sale distributors for the U.S.A. and Canada, Elsevier/North-Holland
Published: 1977
Language: eng
Format: Unknown Binding
Number of pages: 307
ISBN-13: 9780720407525
Subjects: Congresses; Model theory; Computable functions; Nonclassical mathematical logi