Proof Theory
| Abstract | Wilfred Sieg. Proof Theory | |||||||||
| 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,865 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesPeter Aczel, Harold Simmons & S. S. Wainer (eds.) (1992). Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme, 1990. Cambridge University Press.
Wilfried Sieg (1984). Foundations for Analysis and Proof Theory. Synthese 60 (2):159 - 200.
A. Kino, John Myhill & Richard Eugene Vesley (eds.) (1970). Intuitionism and Proof Theory. Amsterdam,North-Holland Pub. Co..
Toshiyasu Arai (2002). Review: Wilfried Buchholz, Notation Systems for Infinitary Derivations ; Wilfried Buchholz, Explaining Gentzen's Consistency Proof Within Infinitary Proof Theory ; Sergei Tupailo, Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals. [REVIEW] Bulletin of Symbolic Logic 8 (3):437-439.
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.
Greg Restall (1998). Displaying and Deciding Substructural Logics 1: Logics with Contraposition. Journal of Philosophical Logic 27 (2):179-216.
Peter Milne (2008). Russell's Completeness Proof. History and Philosophy of Logic 29 (1):31-62.
Solomon Feferman (2000). Does Reductive Proof Theory Have a Viable Rationale? Erkenntnis 53 (1-2):63-96.
David J. Pym (2004). Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford University Press.
Analytics
Monthly downloads |
Added to index2010-09-14Total downloads11 ( #100,810 of 556,803 )Recent downloads (6 months)1 ( #64,847 of 556,803 )How can I increase my downloads? |
My notes
Discussion
