Your search returned 14 results.

Results
	1.	Kurt Godel and the foundations of mathematics : horizons of truth by Baaz, Matthias Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Cambridge University Press, ©2011 Online access: Table of contents only Availability: Not available: IIITD: Checked out (1). Place hold Add to cart (remove)
	2.	Computability : Turing, Godel, Church, and beyond by Copeland, B. Jack (ed.) Posy, Carl J. (ed.) Shagrir, Oron (ed.) Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : MIT Press, ©2013 Availability: Items available for loan: IIITD (1)Call number: REF 511.352 COP-C. Place hold Add to cart (remove)
	3.	Mathematical logic by Kleene, Stephen Cole Edition: Dover ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Mineola, N.Y. : Dover Publications, ©2002 Online access: Publisher description Availability: Items available for loan: IIITD (1)Call number: REF 511.3 KLE-M. Place hold Add to cart (remove)
	4.	Is god a mathematician? by Livio, Mario Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Simon & Schuster, ©2009 Availability: Items available for loan: IIITD (1)Call number: 510 LIV-I. Place hold Add to cart (remove)
	5.	Making and breaking mathematical sense : histories and philosophies of mathematical practice by Wagner, Roi Material type: Text; Format: print ; Literary form: Not fiction Publication details: Princeton : Princeton University Press, ©2017 Availability: Not available: IIITD: Checked out (1). Place hold Add to cart (remove)
	6.	The outer limits of reason : what science, mathematics, and logic cannot tell us by Yanofsky, Noson S Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : MIT Press, ©2013 Availability: Items available for loan: IIITD (1)Call number: 001.01 YAN-O. Place hold Add to cart (remove)
	7.	The digital and the real world : computational foundations of mathematics, science, technology, and philosophy by Mainzer, Klaus Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Jersey : World Scientific, ©2018 Availability: Not available: IIITD: Loan on demand (1). Add to cart (remove)
	8.	99 variations on a proof by Ording, Philip Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Jersey : Princeton University Press, ©2019 Availability: Items available for loan: IIITD (1)Call number: 510.1 ORD-9. Place hold Add to cart (remove)
	9.	First-order logic by Smullyan, Raymond M Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Dover Publications, ©1995 Availability: Items available for loan: IIITD (2)Call number: 511.3 SMU-F, ... Place hold Add to cart (remove)
	10.	Introduction to mathematical philosophy by Russell, Bertrand Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Grapevine, ©2023 Online access: Table of contents Publisher description Availability: Items available for loan: IIITD (1)Call number: 510.1 RUS-I. Place hold Add to cart (remove)
	11.	Philosophy of mathematics by Linnebo, Oystein Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Jersey : Princeton University Press, ©2017 Availability: Items available for loan: IIITD (1)Call number: 510.1 LIN-P. Place hold Add to cart (remove)
	12.	Mathematics for human flourishing by Su, Francis Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Yale University Press, ©2020 Availability: Items available for loan: IIITD (1)Call number: 510.1 SU-M. Place hold Add to cart (remove)
	13.	The Weil conjectures : on math and the pursuit of the unknown by Olsson, Karen Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Bloomsbury, ©2019 Availability: Items available for loan: IIITD (1)Call number: 510.92 OLS-W. Place hold Add to cart (remove)
	14.	Group Decision and Negotiation: A Multidisciplinary Perspective [electronic resource] : 20th International Conference on Group Decision and Negotiation, GDN 2020, Toronto, ON, Canada, June 7–11, 2020, Proceedings / by Morais, Danielle Costa [editor.] Fang, Liping [editor.] Horita, Masahide [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 388 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in