Results of search for 'ccl=su:"Mathematical logic."' › JRD Tata Memorial Library catalog

Results
	41.	No cover image available Introduction to mathematical logic by Elliott Mendelson by Mendelson, Elliott Series: University series in undergradeuate mathematics Material type: Book Publication details: New York Van-Nostrand Reinhold 1964 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N646 R(T).
	42.	No cover image available Introduction to mathematical logic by Elliott Mendelson by Mendelson, Elliott Series: University series in undergraduate mathematics Material type: Book Publication details: New York Van Nostrand Reinhold Company 1964 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N646;1 R(T).
	43.	Use of mathematical literature ed. by A.R. Dorling by Dorling, A.R., ed Series: Information Sources for research and development Material type: Book Publication details: London Butter Worths 1977 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 016.51 N77. Place hold
	44.	No cover image available Godel, escher, bach an eternal golden braid by Douglas R Hofstadter by Hofstadter, Douglas R Material type: Book Publication details: England Penguin 1979 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N804;4. Place hold
	45.	No cover image available Investigation of the laws of thought by George Boole. by Boole, George Material type: Book Publication details: New york Dover publications, Inc. 1954 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519 N54. Place hold
	46.	Logic as algebra by Paul halmos, Steven Givant by Halmos, Paul Givant, Steven Series: Dolciani mathematical expositions No.21 Material type: Book Publication details: Mathematical association of America 1998 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N98. Place hold
	47.	Course on mathematical logic by S M Srivastava by Srivastava, S M Material type: Book Publication details: New York Springer 2008 Availability: Items available for loan: Mathematics (1)Call number: 511.3 P08. Place hold
	48.	Mathematical logic by H. D. Ebbinghaus, J. Flum and W. Thomas by Ebbinghaus, H. D Flum, J Thomas, W Series: Undergraduate texts in mathematics Edition: 2nd ed. Material type: Book Publication details: New York Springer Verlag 1994 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N943. Place hold
	49.	Elements of finite model theory by Leonid Libkin by Libkin, Leonid Material type: Book Publication details: Berlin Springer Verlag 2004 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 P041. Place hold
	50.	ISSAC 2001 ed by Bernard Mourrain by International symposium on symbolic and algebraic computation (2001 London) Mourrain, Bernard.,ed Material type: Book Publication details: New York Association for Computing Machinery 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 P01. Place hold
	51.	Discrete mathematics for computer scientists by J. K. Truss by Truss, J. K Edition: 2nd ed. Material type: Book Publication details: Delhi Pearson Education 2000 Availability: Items available for loan: Management Studies (1)Call number: 005.131 P001. Place hold
	52.	Logic for computer scientists by Uwe Schoning by Schoning, Uwe Series: Progress in computer science and applied logic ; Vol 8 Material type: Book Publication details: Boston Birkhauser 1989 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 N8929 R(T). Place hold
	53.	Mathematical logic. Part II recursion theory, godels theorems, set theory, model theory by Rene Cori and Daniel Lascar by Cori, Rene Lascar, Daniel Pelletier, Donald H., Tr Material type: Book Publication details: New York Oxford University Press 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 P01.2. Place hold
	54.	Computability & Unsolvability By Martin Davis by Davis, Martin Series: Dover books in advanced mathematics Material type: Book Publication details: New York Dover 1973 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N731. Place hold
	55.	Logic for computer scientists by Uwe Schoning by Schoning, Uwe Series: Progress in computer science and applied logic Material type: Book Publication details: Boston Birkhauser 1989 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 N896. Place hold
	56.	Proofs from the book by Martin Aigner and Gunter M Ziegler by Aigner, Martin Ziegler, Gunter M Edition: 3rd ed Material type: Book Publication details: Berlin Springer-Verlag 2004 Availability: Items available for loan: Mathematics (1)Call number: 511.3 P04. Place hold
	57.	Coherent Systems by Karl Schlechta by Schlechta, Karl Material type: Book Publication details: Amsterdam Elsevier 2004 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 P042. Place hold
	58.	Mathematics and Plausible reasoning Vol.2 Patterns of Plausible inference by G. Polya by Polya, G Material type: Book Publication details: New Jersey Princeton University Press 1990 Availability: Items available for loan: Mathematics (1)Call number: 511.3 N90. Place hold
	59.	Mathematics of Logic A guide to completeness theorems and their applications by Richard Kaye by Kaye, Richard Material type: Book Publication details: Cambridge Cambridge University Press 2007 Availability: Items available for loan: Mathematics (1)Call number: 511.3 P07. Place hold
	60.	Reflections on Kurt Godel by Hao, Wang by Wang, Hao Material type: Book Publication details: Cambridge Mit Press 1987 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N87. Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Your search returned 137 results.