IUKL Library catalog › Results of search for 'se,phr:"Ontos mathematical logic '

Your search returned 5 results.

Not what you expected? Check for suggestions

		No cover image available Ways of proof theory [electronic resource] / Ralf Schindler (ed.). by Schindler, Ralf \| ebrary, Inc. Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Frankfurt ; New Brunswick : Ontos Verlag, 2010Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1). Place hold Log in to add tags. Add to cart (remove)
		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.]. Material type: Book; Format: available online festschrift ; Literary form: Not fiction Publisher: Boston : De Gruyter, [2014]Copyright date: �2014Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1). Place hold Add to cart (remove)
		Logic without borders / edited by Asa Hirvonen, Juha Kontinen, Roman Kossak and Andres Villaveces. by Hirvonen, �Asa [editor.] \| Kontinen, Juha [editor.] \| Kossak, Roman, 1953- [editor.] \| Villaveces, Andr�es (Mathematics professor) [editor.]. Material type: Book; Format: available online ; Nature of contents: ; Literary form: Not fiction Publisher: Boston : De Gruyter, [2015]Copyright date: �2015Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1). Place hold Add to cart (remove)
		Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Peter Schuster. Material type: Book; Format: available online ; Literary form: Not fiction Publisher: Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, 2016Copyright date: �2016Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1). Place hold Add to cart (remove)
		No cover image available Logic, construction, computation [electronic resource] / Ulrich Berger ... [et al.] (eds.). by Berger, Ulrich \| ebrary, Inc. Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Heusenstamm [Germany] : ontos, 2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1). Place hold Add to cart (remove)

The Library's homepage is at http://library.iukl.edu.my/.