Results of search for 'ccl=su:"Proof theory."'

Results
	1.	Proofs and fundamentals a first course in abstract mathematics Ethan D. Bloch by Bloch, Ethan D Publication details: Boston Birkhèauser 2000 Availability: Items available for loan: IMAR (1)Call number: II 34011. Place hold Add to cart (remove)
	2.	Proof theory and intuitionistic systems by Scarpellini, Bruno Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin New York Springer-Verlag 1971 Availability: Items available for loan: IMAR (1)Call number: CS1-212. Place hold Add to cart (remove)
	3.	Computation and proof theory edited by M.M. Richter ... [et al.]. -- by Richter, Michael M, 1938- Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin Springer 1984 Availability: Items available for loan: IMAR (1)Call number: II 31870. Place hold Add to cart (remove)
	4.	Iterated inductive definitions and subsystems of analysis recent proof-theoretical studies Wilfried Buchholz ... [et al.]. -- by Buchholz, Wilfried, 1948- Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin New York Springer-Verlag 1981 Availability: Items available for loan: IMAR (1)Call number: II 24047. Place hold Add to cart (remove)
	5.	Proof theory Kurt Schèutte ; translated from the German by J. N. Crossley by Schèutte, K Series: Grundlehren der mathematischen Wissenschaften ; 225 Publication details: Berlin New York Springer-Verlag 1977 Availability: Items available for loan: IMAR (2)Call number: II 20735, ... Place hold Add to cart (remove)
	6.	Extensional Godel functional interpretation a consistency proof of classical analysis Horst Luckhardt by Luckhardt, Horst Series: Lecture notes in mathematics, 306 \| Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin New York Springer-Verlag 1973 Availability: Items available for loan: IMAR (1)Call number: CS1-306. Place hold Add to cart (remove)
	7.	Metamathematical investigation of intuitionistic arithmetic and analysis A. S. Troelstra (ed.) by Troelstra, A. S Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin, Heidelberg, New York: Springer, 1973 Availability: Items available for loan: IMAR (2)Call number: II 19007, ... Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	8.	ISILC Proof Theory Symposion edited by J. Diller and G. H. Muller by Dille Series: Lecture notes in mathematics Publication details: Berlin New York Springer-Verlag 1975 Availability: Items available for loan: IMAR (2)Call number: CS1-500, ... Place hold Add to cart (remove)
	9.	Proof theory an introduction Wolfram Pohlers by Pohlers, Wolfram Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin New York Springer-Verlag c1989 Availability: Items available for loan: IMAR (1)Call number: XXX-POH-5. Place hold Add to cart (remove)
	10.	Computation and proof theory proceedings of the logic colloquium held in Aachen,july 18-23, 1983 edited by M. M. Richter, E. Borger, W. Oberschelp, B.Schinzel and W. Thomas part II Series: Lecture notes in mathematics ; 1104 \| Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin; New York Springer-Verlag c1984 Availability: Items available for loan: IMAR (1)Call number: XXX-XXX-3218. Place hold Add to cart (remove)
	11.	Iterated inductive definitions and subsystems of analysis recent proof-theoretical studies Wilfried Buchholz; Solomon Feferman; Wolfram Pohlers; Wilfried Sieg by Buchholz, Wilfried Buchholz, Wilfried, 1948- Feferman, Solomon Pohlers, Wolfram Sieg, Wilfried Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin New York Springer-Verlag c1981 Availability: Items available for loan: IMAR (1)Call number: 510 S 511-BUC. Place hold Add to cart (remove)
	12.	Metamathematical investigation of intuitionistic arithmetic and analysis A. S. Troelstra (ed.) by Troelstra, A. S Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin, Heidelberg, New York: Springer, 1973 Availability: Items available for loan: IMAR (1)Call number: 510/.8 S 511/.3-TRO-1. Place hold Add to cart (remove)
	13.	Proof theory and intuitionistic systems Brono Scarpellini by Scarpellini, Bruno Series: Lecture notes in mathematics ; 212 \| Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin; New York Springer-Verlag c1971 Availability: Items available for loan: IMAR (1)Call number: CS1-212. Place hold Add to cart (remove)
	14.	ISILC Proof Theory Symposion dedicated to Kurt SchuÃŒÂ(tte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 edited by J. Diller and G. H. Muller by Schutte, Kurt Diller, Justus Muller, G. H, 1923 - Series: Lecture notes in mathematics ; 500 \| Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin New York Springer-Verlag c1975 Availability: Items available for loan: IMAR (1)Call number: 510/.8 S 511/.3-XXX-7. Place hold Add to cart (remove)
	15.	Tableau systems for first order number theory and certain higher order theories Sue Toledo by Toledo, Sue Ann Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin New York Springer-Verlag c1975 Availability: Items available for loan: IMAR (1)Call number: 510/.8 S 511/.3-TOL. Place hold Add to cart (remove)
	16.	Proofs and computations Helmut Schwichtenberg, Stanley S. Wainer by Schwichtenberg, Helmut Wainer, S. S Association for Symbolic Logic Series: Perspectives in logic Publication details: Ithaca, NY Cambridge New York Association for Symbolic Logic Cambridge University Press 2012 Online resources: Table of contents only Contributor biographical information Publisher description Availability: Items available for loan: IMAR (1)Call number: II 37310. Place hold Add to cart (remove)
	17.	Applied proof theory proof interpretations and their use in mathematics U. Kohlenbach by Kohlenbach, U Series: Springer monographs in mathematics Publication details: Berlin Springer c2008 Availability: Items available for loan: IMAR (1)Call number: II 37266. Place hold Add to cart (remove)
	18.	Structural proof theory / Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta. by Negri, SaraInstitutul din Von Plato, Jan Publication details: Cambridge ; New York : Cambridge University Press, 2001 Online resources: Publisher description Table of contents Availability: Items available for loan: IMAR (1)Call number: 511.3-NEG. Place hold Add to cart (remove)
	19.	Proof theory : Sequent calculi and related formalisms Katalin Bimbo, University of Alberta, Edmonton, Canada by Bimbo, Katalin Series: Discrete mathematics and its applications Availability: Items available for loan: IMAR (1)Call number: 511.36-BIM. Place hold Add to cart (remove)
	20.	Handbook of proof theory edited by Samuel R. Buss by Buss, Samuel R Series: Studies in logic and the foundations of mathematics ; vol. 137 Publication details: New York : Elsevier, 1998 Online resources: Publisher description Table of contents only Availability: Items available for loan: IMAR (1)Call number: 511.3-BUS. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 22 results.