Your search returned 5 results.

Results
		Adapting proofs-as-program: the curry-howard protocol by Poernomo, Iman Hafiz Martin, Wirsing John, Newsome Crossley Series: (Monographs in computer science) Publication details: USA Springer 2005 Availability: Items available for loan: University Library (1)Call number: 004.422 POE. Place hold Add to cart (remove)
		Applied proof theory proof interpretations and their use in mathematics by Kohlenbach. U Publication details: Heidelberg Springer 2008 Availability: Items available for loan: University Library (1)Call number: 510.6 KOH. Place hold Add to cart (remove)
		Introduction to mathematical proofs a transition by Roberts, Charles E Series: Textbook in mathematics Publication details: Boca Raton CRC 2010 Availability: Items available for loan: University Library (1)Call number: 510.6 ROB. Place hold Add to cart (remove)
		Proof theory sequent calculi and related formalisms by Bimbo, Katalin Series: Discrete mathematics and its applications Publication details: Boca Raton CRC press 2015 Availability: Items available for loan: University Library (2)Call number: 510.6 BIM, ... Place hold Add to cart (remove)
		Exploring mathematics an engaging introduction to proof by Meier, John Smith, Derek Publication details: UK CUP 2017 Availability: Items available for loan: University Library (1)Call number: 510 MEI. Place hold Add to cart (remove)

Refine your search