Your search returned 4 results.

Results
	1.		Image from Amazon.com	Ways of proof theory [electronic resource] / Ralf Schindler (ed.). by Schindler, Ralf ebrary, Inc Series: Ontos mathematical logic ; v. 2 Publication details: Frankfurt ; New Brunswick : Ontos Verlag, 2010 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	2.		Image from Amazon.com	Logic, computation, hierarchies / edited by Vasco Brattka, Hannes Diener, Dieter Spreen. by Selivanov, Victor [honouree.] Brattka, Vasco, 1966- [editor.] Diener, Hannes [editor.] Spreen, Dieter [editor.] ebrary, Inc Series: Ontos mathematical logic ; v. 4.Publisher: Boston : De Gruyter, [2014]Copyright date: �2014 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	3.		Image from Amazon.com	Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Peter Schuster. by ebrary, Inc Series: Ontos mathematical logic ; Volume 6.Publisher: Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, 2016Copyright date: copy©2016 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	4.		Image from Amazon.com	Logic without borders / edited by Asa Hirvonen, Juha Kontinen, Roman Kossak and Andres Villaveces. by Hirvonen, ringAsa [editor.] Kontinen, Juha [editor.] Kossak, Roman, 1953- [editor.] Villaveces, Andracutees (Mathematics professor) [editor.] ebrary, Inc Series: Ontos mathematical logic ; volume 5.Publisher: Boston : De Gruyter, [2015]Copyright date: copy©2015 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu