First-Order Logic and Automated Theorem Proving
New York: Springer-Verlag [1990], 1990. First edition. Hardcover. 8vo. [7], viii-xiii, [4], 2-242, [6] pp. Silver colored paper over boards, no dust jacket (following Springer's custom during the period). A sharp example of this book, one of the earliest introductions to classical logic from the perspective of automated theorem proving..... More