Results of search for 'ccl=su:{Philosophy}' › Indraprastha Institute of Information Technology, Delhi catalog

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.	The golden ticket : P, NP, and the search for the impossible by Fortnow, Lance Material type: Text; Format: print ; Literary form: Not fiction Publication details: Oxford : Princeton University Press, 1963 Availability: Items available for loan: IIITD (2)Call number: REF 511.352 FOR-G, ... Place hold Add to cart (remove)
	3.	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)
	4.	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)
	5.	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)
	6.	Birth of a theorem : a mathematical adventure by Villani, Cedric Material type: Text; Format: print ; Nature of contents: ; Literary form: Not fiction Language: English Original language: French Publication details: London : Vintage Books, ©2015 Availability: Items available for loan: IIITD (1)Call number: 510.92 VIL-B. Place hold Add to cart (remove)
	7.	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)
	8.	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)
	9.	The master algorithm : how the quest for the ultimate learning machine will remake our world by Domingos, Pedro Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Penguin Books, ©2015 Availability: Items available for loan: IIITD (1)Call number: 006.31 DOM-M. Place hold Add to cart (remove)
	10.	Reverse mathematics : proofs from the inside out by Stillwell, John Material type: Text; Format: print ; Literary form: Not fiction Publication details: Princeton : Princeton University Press, 2018 Availability: Items available for loan: IIITD (1)Call number: 511.3 STI-R. Place hold Add to cart (remove)
	11.	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)
	12.	The universe speaks in numbers : how modern math reveals nature's deepest secrets by Farmelo, Graham Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Faber and Faber, ©2019 Availability: Items available for loan: IIITD (1)Call number: 530.01 FAR-U. Place hold Add to cart (remove)
	13.	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)
	14.	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 (1)Call number: 511.3 SMU-F. Not available: IIITD: Checked out (1). Place hold Add to cart (remove)
	15.	Beyond infinity : an expedition to the outer limits of mathematics by Cheng, Eugenia Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Profile Books, ©2018 Availability: Items available for loan: IIITD (1)Call number: 511.3 CHE-B. Place hold Add to cart (remove)
	16.	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)
	17.	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)
	18.	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)
	19.	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)
	20.	Computer Simulation Validation [electronic resource] : Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives / by Beisbart, Claus [editor.] Saam, Nicole J [editor.] SpringerLink (Online service) Series: Simulation Foundations, Methods and Applications Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 22 results.