- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
2001–2002 Winter Meeting of the Association for Symbolic Logic
Bulletin of Symbolic Logic 8 (2):312-318 (2002)
Abstract
This article has no associated abstract. (fix it)Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Meeting of the association for symbolic logic.John Baldwin, D. A. Martin, Robert I. Soare & W. W. Tait - 1976 - Journal of Symbolic Logic 41 (2):551-560.
Winter meeting of the association for symbolic logic: San Antonio, 1993.Steffen Lempp - 1994 - Journal of Symbolic Logic 59 (2):720-729.
2004–05 Winter Meeting of the Association for Symbolic Logic. [REVIEW]Akihiro Kanamori - 2005 - Bulletin of Symbolic Logic 11 (3):454-460.
2003-04 winter meeting of the association for symbolic logic, phoenix civic plaza, phoenix, arizona, january 9-10, 2004.Carol Wood - 2004 - Bulletin of Symbolic Logic 10 (2):281-289.
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 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.
Twenty-fourth annual meeting of the association for symbolic logic.Alan Ross Anderson - 1959 - Journal of Symbolic Logic 24 (4):312-326.
European meeting of the association for symbolic logic, mons, belgium, 1978.M. Boffa & P. Henrard - 1980 - Journal of Symbolic Logic 45 (2):386-414.
Analytics
Added to PP
2009-01-28
Downloads
20 (#749,846)
6 months
5 (#638,139)
2009-01-28
Downloads
20 (#749,846)
6 months
5 (#638,139)
Historical graph of downloads
References found in this work
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
Intuitionistic validity in T-normal Kripke structures.Samuel R. Buss - 1993 - Annals of Pure and Applied Logic 59 (3):159-173.
Self-verifying axiom systems, the incompleteness theorem and related reflection principles.Dan Willard - 2001 - Journal of Symbolic Logic 66 (2):536-596.
Controlling the dependence degree of a recursive enumerable vector space.Richard A. Shore - 1978 - Journal of Symbolic Logic 43 (1):13-22.
On series of ordinals and combinatorics.James P. Jones, Hilbert Levitz & Warren D. Nichols - 1997 - Mathematical Logic Quarterly 43 (1):121-133.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-5tf24 uwo