Meeting of the Association for Symbolic Logic, Chicago, 1989

Journal of Symbolic Logic 55 (1):436-445 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275005

Links

PhilArchive



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

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: Chicago, 1985.Andreas Blass, Louise Hay & Peter G. Hinman - 1986 - Journal of Symbolic Logic 51 (2):507-510.
Meeting of the Association for Symbolic Logic, Chicago, 1977.Carl G. Jockusch, Robert I. Soare, William Tait & Gaisi Takeuti - 1978 - Journal of Symbolic Logic 43 (3):614 - 619.
Annual meeting of the association for symbolic logic, Los Angeles, 1989.Richard A. Shore - 1990 - Journal of Symbolic Logic 55 (1):372-386.
Models of computational processes.William P. Coleman - forthcoming - Journal of Symbolic Logic.(Presented at the Spring Meeting 1989 of the Association for Symbolic Logic. Manuscript in Progress.).
2004 spring meeting of the association for symbolic logic, Palmer house Hilton Hotel, chicago, illinois April 23-24, 2004. [REVIEW]Michael Kremer - 2004 - Bulletin of Symbolic Logic 10 (3):438-446.
Alasdair Urquhart. The complexity of linear logic with weakening. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 500–515. [REVIEW]Herman Ruge Jervell - 2002 - Bulletin of Symbolic Logic 8 (1):100-101.
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.
Annual meeting of the association for symbolic logic: Saint Louis, 1977.Jon Barwise, Kenneth Kunen & Joseph Ullian - 1978 - Journal of Symbolic Logic 43 (2):365-372.
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.
European summer meeting of the association for symbolic logic logic colloquium'93.Symbolic Logic - 1995 - Bulletin of Symbolic Logic 1 (4):489-490.
2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10.Uri Abraham & Ted Slaman - 2011 - Bulletin of Symbolic Logic 17 (2):272-329.

Analytics

Added to PP
2014-04-07

Downloads
24 (#676,707)

6 months
8 (#414,134)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Kenneth Manders
University of Pittsburgh

Citations of this work

No citations found.

Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Indicative conditionals.Robert Stalnaker - 1975 - Philosophia 5 (3):269-286.
Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.
Presupposition, implication, and self-reference.Bas C. van Fraassen - 1968 - Journal of Philosophy 65 (5):136-152.
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.

View all 17 references / Add more references