Your search returned 9 results.

Results
	1.	New directions in the philosophy of mathematics: an anthology /ed. by Thomas Tymoczko by Tymoczko, Thomas Material type: Book Publication details: Boston Birkhauser 1986 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 510.1 N861;1. Place hold
	2.	No cover image available Introduction to metamathematics by Stephen Cole Kleene. by Kleene, Stephen Cole Series: The University series in Higher Mathematics ; Material type: Book Publication details: Princeton D.Van Nostrand Company, Inc., 1952 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 510 N526. Place hold
	3.	No cover image available Introduction to metamathematics by Stephen Cole Kleene. by Kleene, Stephen Cole Series: Bibliotheca Mathematica ; v.1 Material type: Book Publication details: Amsterdam North Holland Pub.Co 1952 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 510 N52;1. Place hold
	4.	No cover image available Survey of mathematical logic by Hao Wang, by Wang, Hao Series: Studies in Logic and the Foundations of Mathematics Material type: Book Publication details: Amsterdam Science-Press Peking 1963 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N636.
	5.	Relational theory of computing ed. by John G. Sanderson by Sanderson, John G., ed Series: Lecture Notes in Computer Science ; V.82 Material type: Book Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N801.
	6.	Relational theory of computing by John G. Sanderson by Sanderson, John G Series: Lecture Notes in Computer Science ; V.82 Material type: Book Publication details: Berlin Springer-Verlag 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N801;1.
	7.	Relational theory of computing ed. by John G. Sanderson by Sanderson, John G., ed Series: Lecture Notes in Computer Science ; V.82 Material type: Book Publication details: Berlin Springer-Verlag 1980 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N801. Place hold
	8.	Godel, Escher, Bach: An eternal golden braid by Douglas R Hofstadter by Hofstadter,Douglas R Material type: Book Publication details: New York Basic Books 1999 Availability: Items available for loan: Computer Science and Automation (1)Call number: 510.1 N99 (CSA). Place hold
	9.	Gödel's proof, by Ernest Nagel and James R. Newman by Nagel, Ernest, Material type: Book Publication details: New York New York University Press 2001 Availability: Items available for loan: Electrical Engineering (1)Call number: 511.3 NAG/G. Place hold

Copyright © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
Contact Phone: +91 80 2293 2832

Powered by Koha