Logic for Computer Science: Foundations of Automatic Theorem Proving (Dover Books on Computer Science)

by Jean Gallier

0 ratings • 0 reviews • 0 shelved
Book cover for Logic for Computer Science
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN10 0060422254
  • ISBN13 9780060422257
  • Publish Date January 1986
  • Publish Status Out of Print
  • Out of Print 6 December 1991
  • Publish Country GB
  • Publisher Longman
  • Imprint Longman Higher Education
  • Format Hardcover
  • Pages 528
  • Language English