Your search returned 6 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Logic and structure / Dirk van Dalen. by Series: Universitext
Edition: 5th ed.
Material type: Text 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
Edition: 3rd ed.
Material type: Text 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
Edition: 3rd ed.
Material type: Text 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.
Logic for computer science : foundations of automatic theorem proving / by Jean H. Gallier. by
Edition: 2nd ed.
Material type: Text 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
5.
Decision procedures: an algorithmic point of view / Daniel Kroening and Ofer Strichman by 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
6.
A beginner's guide to mathematical logic / by Raymond M. Smullyan. by
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
Pages

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