Your search returned 5 results.

Results
1.	Image from Amazon.com	Logic for applications by Nerode, Anil [Author] Shore, Richard A [Author] Series: Graduate texts in computer science Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer-Verlag, ©1997 Online resources: Publisher description Table of contents only Availability: Not available: IIT - Dharwad: Costly Reference (1). Save to lists Add to cart (remove)
2.	Image from Amazon.com	Mathematical logic for computer science by Ben-Ari, Mordechai [Author] Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: London, Springer-Verlag : ©2012 Availability: Items available for loan: IIT - Dharwad (1)Call number: 511.3 BEN / B. Place hold Save to lists Add to cart (remove)
3.	Image from Amazon.com	Proofs and algorithms : an introduction to logic and computability by Dowek, Gilles [Author] Series: Undergraduate topics in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Springer-Verlag, ©2011 Online resources: About this book Availability: Items available for loan: IIT - Dharwad (1)Call number: 004.0151 DOW / B. Place hold Save to lists Add to cart (remove)
4.	Image from Amazon.com	Finite-dimensional vector spaces by Halmos, Paul Richard [Author] Series: Undergraduate texts in mathematics Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer-Verlag, ©1987 Online resources: Publisher description Table of contents only Availability: Items available for loan: IIT - Dharwad (2)Call number: 512.52 HAL / B, ... Not available: IIT - Dharwad: Course Reserved Book (1). Place hold Save to lists Add to cart (remove)
5.	Image from Amazon.com	Mathematical logic by Ebbinghaus, Heinz-Dieter [Author] Flum, Jorg [Author] Thomas, Wolfgang [Author] Series: Undergraduate texts in mathematics Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer-Verlag, ©1994 Availability: Items available for loan: IIT - Dharwad (1)Call number: 511.3 EBB / B. Place hold Save to lists Add to cart (remove)