Logic for computer science : foundations of automatic theorem proving / by Jean H. Gallier.

By:

Material type: Text

TextLanguage: English Publication details: New York : Dover Pub.; 2015.Edition: 2nd edDescription: xxiii, 496 pISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Call number	Status	Date due	Barcode
Text Book	Central Library, IIT Bhubaneswar	Central Library, IIT Bhubaneswar	005.432 GAL/L (Browse shelf(Opens below))	Available		TB7524
Text Book	Central Library, IIT Bhubaneswar	Central Library, IIT Bhubaneswar	005.432 GAL/L (Browse shelf(Opens below))	Checked out	18/06/2024	TB7525
Text Book	Central Library, IIT Bhubaneswar	Central Library, IIT Bhubaneswar	005.432 GAL/L (Browse shelf(Opens below))	Available		TB7526
Text Book	Central Library, IIT Bhubaneswar	Central Library, IIT Bhubaneswar	005.432 GAL/L (Browse shelf(Opens below))	Available		TB7527
Text Book	Central Library, IIT Bhubaneswar	Central Library, IIT Bhubaneswar	005.432 GAL/L (Browse shelf(Opens below))	Available		TB7528
Text Book	Central Library, IIT Bhubaneswar	Central Library, IIT Bhubaneswar	005.432 GAL/L (Browse shelf(Opens below))	Available		TB7529
Course Reserve	Central Library, IIT Bhubaneswar	Central Library, IIT Bhubaneswar	005.432 GAL/L (Browse shelf(Opens below))	Not for loan		TB7531
Text Book	Central Library, IIT Bhubaneswar	Central Library, IIT Bhubaneswar	005.432 GAL/L (Browse shelf(Opens below))	Checked out	10/01/2024	TB7530

Total holds: 0

There are no comments on this title.

to post a comment.