Mathematical Logic in Latin America Proceedings of the Iv Latin American Symposium on Mathematical Logic Held in Santiago, December 1978

, & (eds.)
New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland (1980)
  Copy   BIBTEX

Abstract

Provability, Computability and Reflection.

Categories

Keywords

Reprint years

Call number

QA9.A1.L37 1978

ISBN(s)

0444854029
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Mathematical Logic in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978.Ayda I. Arruda, R. Chuaqui & Newton C. A. Costa (eds.) - 1980 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976.Ayda I. Arruda, R. Chuaqui & Newton C. A. da Costa (eds.) - 1977 - New York: sale distributors for the U.S.A. and Canada, Elsevier/North-Holland.
Seventh Latin American on Mathematical Logic- Meeting of the association for symbolic logic: Campinas, Brazil, 1985.Walter Carnielli - 1986 - Journal of Symbolic Logic 51 (4):1093-1103.
Models, Algebras, and Proofs.Xavier Caicedo & Carlos Montenegro - 1998 - CRC Press.
Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976.Ayda I. Arruda, Newton C. A. Costa & R. Chuaqui (eds.) - 1977 - New York: sale distributors for the U.S.A. and Canada, Elsevier/North-Holland.
Mathematical Logic: Proceedings of the First Brazilian Conference.Ayda I. Arruda, Newton C. A. da Costa & R. Chuaqui - 1978
Xv latin american symposium on mathematical logic (slalm 2012).Itala Maria Loffredo D'Ottaviano - 2013 - Bulletin of Symbolic Logic 19 (3):332-376.
Corrigendum: XIV Latin American Symposium on Mathematical Logic.[author unknown] - 2010 - Bulletin of Symbolic Logic 16 (1):151-151.
Errata: Došen and X Latin American Symposium on Mathematical Logic.[author unknown] - 1996 - Bulletin of Symbolic Logic 2 (4):523-524.
XI Latin American Symposium on Mathematical Logic.Carlos Augusto Di Prisco - 1999 - Bulletin of Symbolic Logic 5 (4):495-524.
XIV Latin American Symposium on Mathematical Logic (SLALM)(vol 15, pg 332, 2009).Carlos Caleiro & Ricardo Goncalves - 2010 - Bulletin of Symbolic Logic 16 (1):332-376.
IX Latin American Symposium on Mathematical Logic: Bahi´ a Blanca, 1992.Manuel Chairman-Abad - 1994 - Journal of Symbolic Logic 59 (2):682-695.
Logic and Combinatorics: Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference Held August 4-10, 1985.Stephen G. Simpson - 1987 - American Mathematical Soc..

Analytics

Added to PP
2015-02-02

Downloads
9 (#1,258,077)

6 months
7 (#438,648)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references