A survey of proof theory
Journal of Symbolic Logic 33 (3):321-388 (1968)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesHalina Święczkowska (ed.) (1998). Emil L. Post and the Problem of Mechanical Provability: A Survey of Post's Contributions in the Centenary of His Birth. Chair of Logic, Informatics and Philisiophy of Science University of Białystok.
Peter Milne (2008). Russell's Completeness Proof. History and Philosophy of Logic 29 (1):31-62.
Greg Restall (1998). Displaying and Deciding Substructural Logics 1: Logics with Contraposition. Journal of Philosophical Logic 27 (2):179-216.
Carlo Cellucci (2008). Why Proof? What is a Proof? In Giovanna Corsi & Rossella Lupacchini (eds.), Deduction, Computation, Experiment. Exploring the Effectiveness of Proof, pp. 1-27. Springer.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads47 ( #23,056 of 548,984 )Recent downloads (6 months)3 ( #25,729 of 548,984 )How can I increase my downloads? |
My notes
Discussion
