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

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

Abstract

Provability, Computability and Reflection

Categories

Keywords

Reprint years

Call number

QA9.4.L37 1976

ISBN(s)

0720407524

Links

PhilArchive



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

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

ISILC Logic Conference: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974.Gert Heinz Müller, Arnold Oberschelp & Karl Potthoff (eds.) - 1975 - New York: Springer Verlag.
Models and computability: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997.S. B. Cooper & J. K. Truss (eds.) - 1999 - New York: Cambridge University Press.
Algebra and logic: papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia.John N. Crossley (ed.) - 1975 - New York: Springer Verlag.
Truth, syntax and modality.Hugues Leblanc (ed.) - 1973 - Amsterdam,: 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.
Proceedings of the Second Scandinavian Logic Symposium.Jens Erik Fenstad (ed.) - 1971 - Amsterdam,: North-Holland Pub. Co..
Logic, sets and information: proceedings of the tenth Brazilian Conference on Mathematical Logic.Walter A. Carnielli & Luiz Carlos P. D. Pereira (eds.) - 1995 - Campinas, SP, Brazil: Centro de Lógica, Epistemologia e História da Ciência, UNICAMP.
Logic, action, and information: essays on logic in philosophy and artificial intelligence.André Fuhrmann & Hans Rott (eds.) - 1996 - New York: W. de Gruyter.
Proceedings from 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979.Finn V. Jensen, B. H. Mayoh & Karen K. Møller (eds.) - 1979 - Aalborg: distruberet af Aalborg Universitetsforlag.
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.

Analytics

Added to PP
2009-01-28

Downloads
45 (#354,565)

6 months
4 (#796,002)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Pragmatic probability.Newton C. A. Costa - 1986 - Erkenntnis 25 (2):141-162.
On The Imaginary Logic of N. A. VASILIEV.Leila Z. Puga & Newton C. A. Da Costa - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (3):205-211.
On The Imaginary Logic of N. A. VASILIEV.Leila Z. Puga & Newton C. A. Da Costa - 1988 - Mathematical Logic Quarterly 34 (3):205-211.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references