Proof Theory in Type Theory
Proof Theory for Propositional Logic
Proof theory for modal logic
Proof Theory - Andrew.cmu.edu
proof terms for classical derivations
Proof Search in Modal Logic
Proof procedures, soundness and correctness
Proof Pearl: Defining Functions over Finite Sets
Proof Pearl: Defining Functions Over Finite Sets
Proof of the Soundness Theorem
Proof Nets Sequentialisation In Multiplicative Linear Logic
Proof Issues with Existential Quantification
Proof by contrapositive, contradiction
Proof and computation rules
Proof analysis beyond geometric theories: from rule systems to
Prolog arithmetic
Prolog and the Resolution Method
Prolog 1 - Department of Computer Science
Projection, Consistency, and George Boole
Programming with Classical Proofs
