Gallier, Jean H. Logic for Computer Science: Foundations of Automatic Theorem Proving - 2/e - New York Dover Publications 2015 - xxiii, 496p. ISBN: 9780486780825 Subjects--Topical Terms: Logic Dewey Class. No.: 511.360 / Gal