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