Your search returned 4 results.

Results
	1.	Ways of proof theory [electronic resource] / Ralf Schindler (ed.). by Schindler, Ralf ebrary, Inc Series: Ontos mathematical logic ; v. 2 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Frankfurt ; New Brunswick : Ontos Verlag, 2010 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Save to lists Add to cart (remove)
	2.	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.] Series: Ontos mathematical logic ; v. 4. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Boston : De Gruyter, [2014]Copyright date: ©2014 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Save to lists Add to cart (remove)
	3.	Logic without borders / edited by Asa Hirvonen, Juha Kontinen, Roman Kossak and Andres Villaveces. by Hirvonen, Åsa [editor.] Kontinen, Juha [editor.] Kossak, Roman, 1953- [editor.] Villaveces, Andrés (Mathematics professor) [editor.] Series: Ontos mathematical logic ; volume 5. Material type: Text; Format: available online ; Nature of contents: ; Literary form: Not fiction Publisher: Boston : De Gruyter, [2015]Copyright date: ©2015 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Save to lists Add to cart (remove)
	4.	Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Peter Schuster. Series: Ontos mathematical logic ; Volume 6. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, 2016Copyright date: ©2016 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Save to lists Add to cart (remove)