Logic for Computer Science: Foundations of Automatic Theorem Proving, Second EditionEbookLogic for Computer Science: Foundations of Automatic Theorem Proving, Second EditionbyJean H. GallierRating: 3 out of 5 stars3/5Save Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition for later