Your search returned 10 results.

Results
	1.	Mathematical logic by Ebbinghaus, Heinz-Dieter Flum, Jorg Thomas, Wolfgang Series: Undergraduate texts in mathematics Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: German Publication details: New York : Springer, ©1996 Online access: Publisher description Table of contents only Availability: Items available for loan: IIITD (1)Call number: REF 511.3 EBB-M. Place hold Add to cart (remove)
	2.	Mathematical logic for computer science by Ben-Ari, M Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, 2003, c2001 Online access: Publisher description Table of contents only Availability: Items available for loan: IIITD (1)Call number: REF 511.3 BEN-M. Place hold Add to cart (remove)
	3.	Logic for applications by Nerode, Anil, 1932- Shore, Richard A, 1946- Series: Graduate texts in computer science (Springer-Verlag New York Inc.) Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, c1997 Online access: Publisher description Table of contents only Availability: Not available: IIITD: Loan on demand (1). Add to cart (remove)
	4.	A course on mathematical logic by Srivastava, S. M. (Shashi Mohan) Gödel, Kurt Series: Universitext Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, c2008 Online access: Table of contents Availability: Items available for loan: IIITD (1)Call number: 511.3 SRI-C. Place hold Add to cart (remove)
	5.	A logical introduction to proof by Cunningham, Daniel W Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: New York : Springer, 2012 SpringerLink ebooks - Mathematics and Statistics (2013) Availability: Items available for loan: IIITD (1)Call number: REF 511.3 CUN-L. Place hold Add to cart (remove)
	6.	Automata, logics, and infinite games by Gradel, Erich Thomas, Wolfgang Wilke, Thomas Series: Lecture notes in computer science ; 2500 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2002 Online access: Publisher description Availability: Items available for loan: IIITD (1)Call number: REF 004.015 GRA-A. Place hold Add to cart (remove)
	7.	Logic and structure by Dalen, Dirk van Series: Universitext Edition: 4th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2004 Online access: Contributor biographical information Publisher description Table of contents only Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 511.3 DAL-L. Add to cart (remove)
	8.	Set theory by Jech, Thomas J Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2002 Availability: Not available: IIITD: Loan on demand (1). Add to cart (remove)
	9.	Writing proofs in analysis by Kane, Jonathan Michael Material type: Text; Format: print ; Literary form: Not fiction Publication details: Switzerland : Springer, ©2016 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 511.36 KAN-W. Add to cart (remove)
	10.	Turing computability by Soare, Robert Irving Edition: 4th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Chicago : Springer, ©2016 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 511.352 SOA-T. Add to cart (remove)

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