Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990

, & (eds.)
New York: Cambridge University Press (1992)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

2008

Call number

QA9.54.L44 1990

ISBN(s)

052141413X
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Provable computable selection functions on abstract structures.  (pages 275)J. Tucker & J. Zucker

Similar books and articles

Provable computable selection functions on abstract structures.J. Tucker & J. Zucker - 1992 - In Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.), Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990. New York: Cambridge University Press. pp. 275.
Proof theory and set theory.Gaisi Takeuti - 1985 - Synthese 62 (2):255 - 263.
Proof theory of classical and intuitionistic logic.Jan von Plato - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.
General Proof Theory: Introduction.Thomas Piecha & Peter Schroeder-Heister - 2019 - Studia Logica 107 (1):1-5.
Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.
Reciprocal Influences Between Proof Theory and Logic Programming.Dale Miller - 2019 - Philosophy and Technology 34 (1):75-104.
omnibus Review. [REVIEW]Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
[Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
Proof theory.Gaisi Takeuti - 1976 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Intuitionism and proof theory.A. Kino, John Myhill & Richard Eugene Vesley (eds.) - 1970 - Amsterdam,: North-Holland Pub. Co..
Probability in Logic. [REVIEW]R. A. A. - 1957 - Review of Metaphysics 11 (2):348-348.
Ways of Proof Theory.Ralf Schindler (ed.) - 2010 - De Gruyter.
Technical report tr-Arp-11-94.Greg Restall - unknown
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
Proof theory for theories of ordinals II: Π3-reflection.Toshiyasu Arai - 2004 - Annals of Pure and Applied Logic 129 (1-3):39-92.

Analytics

Added to PP
2009-01-28

Downloads
35 (#459,535)

6 months
5 (#648,315)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references