DOCSLIB.ORG
Sign Up
Log In
Upload
Search
Sign Up
Log In
Upload
Home
» Tags
» Proof procedure
Proof procedure
The Method of Proof Analysis: Background, Developments, New Directions
Designing a Theorem Prover
Propositional Logic
Proof Editor for Natural Deduction in First-Order Logic the Evaluation of an Educational Aiding Tool for Students Learning Logic
Handbook of Tableau Methods Introduction Melvin Fitting Mlfl
[email protected]
Contents 1 General Introduction
Logic and Proof Computer Science Tripos Part IB
Natural Deduction
An Introduction to Proof Theory
Some Applications of Gentzen's Proof Theory in Automated Deduction
Logic and Proof Computer Science Tripos Part IB
History of Interactive Theorem Proving
Reciprocal Influences Between Proof Theory and Logic Programming
Top View
