- 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
2007-2008 Winter Meeting of the Association for Symbolic Logic
Bulletin of Symbolic Logic 14 (3):402-411 (2008)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
2007-2008 Winter Meeting of the Association for Symbolic Logic-San Diego Convention Center, San Diego, CA-January 8-9, 2008-Abstracts. [REVIEW]John Corcoran - 2008 - Bulletin of Symbolic Logic 14 (3).
2008 Winter Meeting of the Association for Symbolic Logic.William Ewald - 2009 - Bulletin of Symbolic Logic 15 (2):229-236.
2008–2009 Winter Meeting of the Association for Symbolic Logic.Ali Enayat & Barbara F. Csima - 2009 - Bulletin of Symbolic Logic 15 (2):237.
2010 winter meeting of the association for symbolic logic.Stewart Shapiro - 2010 - Bulletin of Symbolic Logic 16 (3):438-444.
1997-1998 Winter Meeting of the Association for Symbolic Logic.Rohit Parikh - 1998 - Bulletin of Symbolic Logic 4 (2):217-224.
2000-2001 Winter Meeting of the Association for Symbolic Logic.Kit Fine - 2001 - Bulletin of Symbolic Logic 7 (3):397-403.
2005–06 Winter Meeting of the Association for Symbolic Logic.Valentina Harizanov - 2006 - Bulletin of Symbolic Logic 12 (4):613-624.
1995–1996 Winter Meeting of the Association for Symbolic Logic.William Mitchell - 1998 - Bulletin of Symbolic Logic 4 (4):436-442.
1994-1995 Winter Meeting of the Association for Symbolic Logic.[author unknown] - 1995 - Bulletin of Symbolic Logic 1 (3):359-376.
2001–2002 Winter Meeting of the Association for Symbolic Logic.Greg Hjorth - 2002 - Bulletin of Symbolic Logic 8 (2):312-318.
Analytics
Added to PP
2013-12-29
Downloads
19 (#1,082,612)
6 months
2 (#1,690,857)
2013-12-29
Downloads
19 (#1,082,612)
6 months
2 (#1,690,857)
Historical graph of downloads
References found in this work
Self-verifying axiom systems, the incompleteness theorem and related reflection principles.Dan Willard - 2001 - Journal of Symbolic Logic 66 (2):536-596.
How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic Q.Dan E. Willard - 2002 - Journal of Symbolic Logic 67 (1):465-496.
Turing computable embeddings.F. Knight Julia, Miller Sara & M. Vanden Boom - 2007 - Journal of Symbolic Logic 72 (3):901-918.
A generalization of the Second Incompleteness Theorem and some exceptions to it.Dan E. Willard - 2006 - Annals of Pure and Applied Logic 141 (3):472-496.
Relational Semantics for Kleene Logic and Action Logic.Katalin Bimbó & J. ~Michael Dunn - 2005 - Notre Dame Journal of Formal Logic 46 (4):461-490.
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-648784bb4d-f5f4x uwo