Your search returned 3 results.

Results
	1.		Proof and system-reliability edited by Helmut Schwichtenberg and Ralf Steinbrüggen by Schwichtenberg, Helmut Steinbrüggen, Ralf NATO Advanced Study Institute on Proof and System-Reliability (2001 : Marktoberdorf, Germany), North Atlantic Treaty Organization. Scientific Affairs Division Publication details: Dordrecht ; Boston Kluwer Academic Publishers c2002 Availability: Items available for loan: Anna Centenary Library (1)Call number: 003 SCH.
	2.		Proof theory : history and philosophical significance edited by Vincent F. Hendricks, Stig Andur Pedersen, and Klaus Frovin Jørgensen by Hendricks, Vincent F Jørgensen, Klaus Frovin Pedersen, Stig Andur Publication details: Dordrecht ; Boston Kluwer Academic Publishers c2000 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 HEN.
	3.		Proof theory of modal logic edited by Heinrich Wansing by Wansing, Heinrich Publication details: Deventer ; Boston, MA Kluwer 1996 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 HEI.

Refine your search