- 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
1999 Spring Meeting of the Association for Symbolic Logic
Bulletin of Symbolic Logic 5 (4):479-484 (1999)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
1998 Spring Meeting of the Association for Symbolic Logic.Donald A. Martin - 1998 - Bulletin of Symbolic Logic 4 (2):210-216.
2005 Spring Meeting of the Association for Symbolic Logic.Shaughan Lavine - 2005 - Bulletin of Symbolic Logic 11 (4):547-556.
2002 Spring Meeting of the Association for Symbolic Logic.Paolo Mancosu - 2002 - Bulletin of Symbolic Logic 8 (3):446-451.
2008 Spring Meeting of the Association for Symbolic Logic.Gila Sher - 2008 - Bulletin of Symbolic Logic 14 (3):412-417.
2011 spring meeting of the association for symbolic logic.Kai F. Wehmeier - 2012 - Bulletin of Symbolic Logic 18 (1):135-141.
2007 Spring Meeting of the Association for Symbolic Logic.William Tait - 2007 - Bulletin of Symbolic Logic 13 (4):553-560.
2000-2001 Spring Meeting of the Association for Symbolic Logic.Michael Detlefsen, Erich Reck, Colin McLarty, Rohit Parikh, Larry Moss, Scott Weinstein, Gabriel Uzquiano, Grigori Mints & Richard Zach - 2001 - Bulletin of Symbolic Logic 7 (3):413-419.
1999 European Summer Meeting of the Association for Symbolic Logic.Wilfrid Hodges - 2000 - Bulletin of Symbolic Logic 6 (1):103-137.
Analytics
Added to PP
2014-03-28
Downloads
26 (#861,660)
6 months
12 (#312,930)
2014-03-28
Downloads
26 (#861,660)
6 months
12 (#312,930)
Historical graph of downloads
Author's Profile
References found in this work
Step by recursive step: Church's analysis of effective calculability.Wilfried Sieg - 1997 - Bulletin of Symbolic Logic 3 (2):154-180.
Normal natural deduction proofs (in classical logic).Wilfried Sieg & John Byrnes - 1998 - Studia Logica 60 (1):67-106.
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic.Roy Dyckhoff & Luis Pinto - 1998 - Studia Logica 60 (1):107-118.
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-667477cd97-2pm92 dc2