Your search returned 15 results.

Sort
Results
1.
Kurt Godel and the foundations of mathematics : horizons of truth by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Cambridge University Press, ©2011
Online access:
Availability: Items available for loan: IIITD (1)Call number: 511.3 BAA-K.

2.
Computability : Turing, Godel, Church, and beyond by
Material type: Text 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.

3.
Mathematical logic by
Edition: Dover ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Mineola, N.Y. : Dover Publications, ©2002
Online access:
Availability: Items available for loan: IIITD (1)Call number: REF 511.3 KLE-M.

4.
Is god a mathematician? by
Material type: Text 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.

5.
Making and breaking mathematical sense : histories and philosophies of mathematical practice by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Princeton : Princeton University Press, ©2017
Availability: Items available for loan: IIITD (1)Call number: 510.1 WAG-M.

6.
The outer limits of reason : what science, mathematics, and logic cannot tell us by
Material type: Text 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.

7.
The digital and the real world : computational foundations of mathematics, science, technology, and philosophy by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Jersey : World Scientific, ©2018
Availability: Not available: IIITD: Loan on demand (1).

8.
99 variations on a proof by
Material type: Text 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.

9.
First-order logic by
Material type: Text 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, ...

10.
Introduction to mathematical philosophy by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Grapevine, ©2023
Availability: Items available for loan: IIITD (1)Call number: 510.1 RUS-I.

11.
Philosophy of mathematics by
Material type: Text 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.

12.
Mathematics for human flourishing by
Material type: Text 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.

13.
The Weil conjectures : on math and the pursuit of the unknown by
Material type: Text 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.

14.
15.
Imagining numbers : particularly the square root of minus fifteen by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Allen Lane, ©2003
Availability: Items available for loan: IIITD (1)Call number: 510.1 MAZ-I.

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