K. Schutte. Proof Theory. North-Holland, 1962. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
A simple proof of Parsons' theorem - Ferreira (1 citation) (Correct)
An Exercise in Programming in PA: Fast Growing Hierarchy Functions - Voda (Correct)
Designing a Theorem Prover - Lawrence Paulson Computer (1990) (9 citations) (Correct)
Sketch-as-Proof - Preining (Correct)
Sketch-as-proof: A proof-theoretic analysis of axiomatic.. - Preining (Correct)
On Herbrand's Theorem - Buss (1995) (6 citations) (Correct)
On Gödel's Theorems on Lengths of Proofs I: Number of Lines and.. - Buss (Correct)
On Partial and Paraconsistent Logics - Muskens (1999) (Correct)
A Systematic Proof Theory for Several Modal Logics - Charles Stewart And (2003) (23 citations) (Correct)
A Systematic Proof Theory for Several Modal Logics (Extended .. - Stewart, Stouppa (2004) (Correct)
Decision Problems for Second-Order Linear Logic - Lincoln, Scedrov, Shankar (1995) (6 citations) (Correct)
The Deduction Rule and Linear and Near-linear Proof Simulations - Bonet, Buss (1993) (Correct)
On Herbrand's Theorem - Samuel Buss University (1995) (6 citations) (Correct)
On the Deduction Rule and - The Number Of (Correct)
An Equivalence between Second Order Bounded Domain Bounded.. - Razborov (1993) (7 citations) (Correct)
Intuitionistic Autoepistemic Logic - Aiello, Amati, Pirri (1997) (1 citation) (Correct)
Bounded Arithmetic and Constant Depth Frege Proofs - Buss (2004) (Correct)
Explicit Provability And Constructive Semantics - Artemov (2001) (1 citation) (Correct)
On Herbrand's Theorem - Samuel Buss University (1995) (6 citations) (Correct)
Some Remarks on Lengths of Propositional Proofs - Buss (2002) (3 citations) (Correct)
A Uniform Tableau Method for Intuitionistic Modal Logics I - Amati, Pirri (1993) (7 citations) (Correct)
Hypersequent Calculi for Gödel Logics - a Survey - Baaz, Ciabattoni, Fermüller (Correct)
On the Undecidability of Some Sub-classical First-order .. - Baaz, Ciabattoni.. (Correct)
Provably Total Functions in - Bounded Arithmetic Theories Self-citation (Takeuti) (Correct)
First-Order Proof Theory of Arithmetic - Buss (1998) (5 citations) Self-citation (Theory) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC