Your search returned 2 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.
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
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