|
|
2.
|
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. by
- Latin-American Symposium on Mathematical Logic (3rd :: 1976 :: State University of Campinas)
- Arruda, A. I. (Ayda Ignez)
- Costa, Newton C. A. da
- Chuaqui, R
Series: Studies in logic and the foundations of mathematics ; v. 89.
Publication details: Amsterdam; New York; New York: North-Holland; North-Holland/Elsevier, 1977
Availability: Items available for loan: Castorina (1)Call number: 511.8 N812 1977 IMPA.
Found in Open Library:
|
