Meeting of the Association for Symbolic Logic, New York, 1971

, &
Journal of Symbolic Logic 37 (2):430-447 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273026

Links

PhilArchive



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

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

Meeting of the association for symbolic logic.Charles D. Parsons, Richard J. Orgass & Richmond H. Thomason - 1972 - Journal of Symbolic Logic 37 (2):430-447.
Meeting of the association for symbolic logic Los Angeles 1971.David Kaplan - 1971 - Journal of Symbolic Logic 36 (3):581-592.
Meeting of the Association for Symbolic Logic, Atlantic City, 1971.Michael O. Rabin & Michael Morley - 1971 - Journal of Symbolic Logic 36 (4):696-710.
Meeting of the Association for Symbolic Logic, New York City, May 1987.Martin Davis & Rohit Parikh - 1988 - Journal of Symbolic Logic 53 (4):1270-1274.
Meeting of the Association for Symbolic Logic, New York 1969.Anil Nerode & K. J. Barwise - 1973 - Journal of Symbolic Logic 38 (2):348-358.
Meeting of the association for symbolic logic: New York city, may 1987.Martin Davis & Rohit Parikh - 1988 - Journal of Symbolic Logic 53 (4):1270-1274.
Meeting of the association for symbolic logic: New York 1979.George Boolos, Sy Friedman & Harold Hodes - 1981 - Journal of Symbolic Logic 46 (2):427-434.
Meeting of the Association for Symbolic Logic, New York, 1974.P. C. Gilmore, Donald Martin & Elliott Mendelson - 1975 - Journal of Symbolic Logic 40 (2):299-304.
Meeting of the association for symbolic logic: New York, 1975.Paul Benacerraf, Simon Kochen & Gerald Sacks - 1977 - Journal of Symbolic Logic 42 (1):143-155.
Annual meeting of the Association for Symbolic Logic, New York City, December 1987.Nicholas Goodman, Harold T. Hodes, Carl G. Jockusch & Kenneth McAloon - 1988 - Journal of Symbolic Logic 53 (4):1287-1299.
Sets and Proofs, Invited Papers from Logic Colloquium '97—European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Thomas Strahm. First steps into metapredicativity in explicit mathematics. Sets and proofs, Invited papers from Logic Colloquium '97—European meeting of the Association for Symbolic Logic, Leeds, July 1997, edited by S. Barry Cooper and John K. Truss, London Mathematical Society lecture note series, no. 258, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1999, pp. 383–402. [REVIEW]Andrea Cantini - 2002 - Bulletin of Symbolic Logic 8 (4):535-536.
American Philosophical Association Eastern Division Sixty-Eighth Annual Meeting Statler-Hilton Hotel, New York, New York December 27-29, 1971: Program. [REVIEW][author unknown] - 1971 - Journal of Philosophy 68 (19):633-645.
Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995.Johann A. Makowsky, Elena V. Ravve & Association of Symbolic Logic - 1998
Logic Colloquium '80: Papers Intended for the European Summer Meeting of the Association for Symbolic Logic.D. van Dalen, Daniel Lascar, T. J. Smiley & Association for Symbolic Logic - 1982 - North-Holland.
1999 Spring Meeting of the Association for Symbolic Logic.Charles Parsons - 1999 - Bulletin of Symbolic Logic 5 (4):479-484.

Analytics

Added to PP
2016-06-30

Downloads
23 (#637,895)

6 months
3 (#857,336)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Richmond Thomason
University of Michigan, Ann Arbor
Charles Parsons
Harvard University

Citations of this work

No citations found.

Add more citations

References found in this work

A study of some systems in the neighborhood of ${\rm S}4.4$.J. Jay Zeman - 1971 - Notre Dame Journal of Formal Logic 12 (3):341-357.

Add more references