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

(or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...

Categories

Keywords

Reprint years

Call number

QA9.A1.L37 1978

ISBN(s)

0444854029

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
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.
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.
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.
Meeting of the association for symbolic logic: Santiago, Chile, 1978.Ayda I. Arruda, Rolando Chuaqui, Newton C. A. Costa & Irene Mikenberg - 1981 - Journal of Symbolic Logic 46 (1):180-190.
Proceedings of the Second Scandinavian Logic Symposium.Jens Erik Fenstad (ed.) - 1971 - Amsterdam,: North-Holland Pub. Co..
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.
Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
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.
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.

Analytics

Added to PP
2009-01-28

Downloads
40 (#378,975)

6 months
8 (#292,366)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

The Logic of Pragmatic Truth.Newton C. A. Da Costa, Otávio Bueno & Steven French - 1998 - Journal of Philosophical Logic 27 (6):603-620.
Quine and Slater on paraconsistency and deviance.Francesco Paoli - 2003 - Journal of Philosophical Logic 32 (5):531-548.
Is there a zande logic?Newton C. A. Da Costa, Otávio Bueno & Steven French - 1998 - History and Philosophy of Logic 19 (1):41-54.

View all 14 citations / Add more citations

References found in this work

No references found.

Add more references