Cambridge University Press (1992)
|Abstract||This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.|
|Buy the book||$52.49 new (20% off) $54.14 used (66% off) $58.50 direct from Amazon (10% off) Amazon page|
|Call number||QA9.54.L44 1990|
|ISBN(s)||0521054168 052141413X 9780521414135|
|Through your library||Configure|
Similar books and articles
David J. Pym (2004). Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford University Press.
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.
Dov M. Gabbay (2000). Goal-Directed Proof Theory. Kluwer Academic.
Added to index2009-01-28
Total downloads7 ( #133,532 of 549,122 )
Recent downloads (6 months)1 ( #63,361 of 549,122 )
How can I increase my downloads?