Your search returned 7 results.

Results
	1.	Logic and structure / Dirk van Dalen. by Dalen, D. van [author] Series: Universitext Edition: 5th ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: London : Springer, c2013 Availability: Items available for loan: Central Library, IIT Bhubaneswar (3)Call number: 511.3 DAL/L, ... Items available for reference: Central Library, IIT Bhubaneswar: Not for loan (1)Call number: 511.3 DAL/L. Place hold
	2.	Discrete structures, logic, and computability / by James L. Hein. by Hein, James L Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi Boston Jones and Bartlett 2010 Availability: Items available for loan: Central Library, IIT Bhubaneswar (5)Call number: 004.015 HEL/D, ... Place hold
	3.	Concise introduction to Mathematical Logic / by Wolfgang Rautenberg. by Rautenberg, Wolfgang Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, 2010 Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 511.3 RAU/C. Place hold
	4.	Decision procedures : an algorithmic point of view / by Daniel Kroening and Ofer Strichman by Kroening, Daniel Strichman, Ofer Series: Texts in theoretical computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin : Springer, �2008 Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 519.542 KRO/D. Place hold
	5.	Logic for computer science : foundations of automatic theorem proving / by Jean H. Gallier. by Gallier, Jean H [author] Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Dover Pub.; 2015 Availability: Items available for loan: Central Library, IIT Bhubaneswar (5)Call number: 005.432 GAL/L, ... Items available for reference: Central Library, IIT Bhubaneswar: Not for loan (1)Call number: 005.432 GAL/L. Not available: Central Library, IIT Bhubaneswar: Checked out (2). Place hold
	6.	Decision procedures: an algorithmic point of view / Daniel Kroening and Ofer Strichman by Daniel Kroening [Auhtor] Strichman, Ofer [Joint author] Series: Texts in theoretical computer science an EATCS series Language: English Publication details: Berlin : Springer, 2016 Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 004.0151 KRO/D. Place hold
	7.	A beginner's guide to mathematical logic / by Raymond M. Smullyan. by Smullyan, Raymond M [Author] Language: English Publication details: New York : Dover Publications, 2014 Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 511.3 SMU/A. Place hold

Central Library, Indian Institute of Technology Bhubaneswar, 4th Floor, Administrative Building, Argul, Khordha, PIN-752050, Odisha, India
Phone: +91-674-7138750 | Email: circulation.library@iitbbs.ac.in (For circulation related queries),
Email: info.library@iitbbs.ac.in (For other queries)

Powered by Koha