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.		No cover image available Basic proof theory A.S. Troelstra, H. Schwichtenberg by Troelstra, A. S Schwichtenberg, Helmut Edition: 2nd ed Publication details: Cambridge Cambridge University Press 1996 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 TRO.
	3.		No cover image available Basic proof theory A.S. Troelstra, H. Schwichtenberg by Troelstra, A. S Schwichtenberg, Helmut Edition: 2nd ed Publication details: Cambridge Cambridge University Press 1996 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 TRO.

Refine your search