Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme, 1990
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. | |||||||||
| Keywords | Proof theory | |||||||||
| Categories | ||||||||||
| Buy the book | $52.49 new (20% off) $58.50 direct from Amazon (10% off) Amazon page | |||||||||
| Call number | QA9.54.L44 1990 | |||||||||
| ISBN(s) | 0521054168 052141413X 9780521414135 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesDavid 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.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads7 ( #133,532 of 549,122 )Recent downloads (6 months)1 ( #63,361 of 549,122 )How can I increase my downloads? |
My notes
Discussion
