David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Cambridge University Press (1992)
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.
|Categories||categorize this paper)|
|Buy the book||$20.30 used (89% off) $62.10 new (18% off) $155.70 direct from Amazon (12% off) Amazon page|
|Call number||QA9.54.L44 1990|
|ISBN(s)||0521054168 052141413X 9780521414135|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
David J. Pym (2004). Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford University Press.
Greg Restall (1998). Displaying and Deciding Substructural Logics 1: Logics with Contraposition. [REVIEW] 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 downloads12 ( #133,368 of 1,099,865 )
Recent downloads (6 months)2 ( #189,854 of 1,099,865 )
How can I increase my downloads?