OPAC_KOHA catalog › Results of search for 'ccl=su:"Proof theory"'

Your search returned 3 results.

	1.	Adapting Proofs-as-Programs: the Curry-Howard protocol by Iman Hafiz Poernomo by Poernomo, Iman Hafiz \| Wirsing, M \| Crossley, John N. Material type: Text Publication details: New York Springer Verlag, Netherlands 2005Availability: Items available for reference: Not for loanCall number: REF 511.36 POE (1). : Request article Add to cart (remove)
	2.	Proofs and Fundamentals: a first course in abstract mathematics Ethan D. Bloch by Bloch, Ethan D. Edition: 2nd ed.Material type: Text Publication details: New York Springer Verlag, Netherlands 2011Availability: Items available for reference: Not for loanCall number: REF 510 BLO (1). : Request article Add to cart (remove)
	3.	Transition to Abstract Mathematics: mathematical thinking and writing Randall B. Maddox by Maddox, Randall B. Edition: 2nd ed.Material type: Text Publication details: Amsterdam ; Boston Academic Press 2009Availability: Items available for reference: Not for loanCall number: REF 511.36 MAD (1). : Request article Add to cart (remove)