Search Results for Logic. - Narrowed by: Costa, Newton C. A. da. - E-Book

Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

2024-09-03T08:21:38Z

Author Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile) Arruda, A. I. (Ayda Ignez) Chuaqui, R. Costa, Newton C. A. da.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444854025
Format: Electronic Resources
Availability Online Library~1

Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976

2024-09-03T08:21:38Z

Author Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas) Arruda, A. I. (Ayda Ignez) Costa, Newton C. A. da. Chuaqui, R.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720407525
Format: Electronic Resources
Availability Online Library~1

Gd̲el's way exploits into an undecidable world

2024-09-03T08:21:38Z

Author Chaitin, Gregory J. Doria, Francisco Antn̥io. Costa, Newton C. A. da.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1