First-Order Logic and Automated Theorem Proving > Editions

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

Published June 26th 2013 by Springer

2nd ed. 1996. Softcover reprint of the original 2nd ed. 1996, Second Edition 1996, Paperback, 344 pages

more details

First-order logic and automated theorem proving (Texts and monographs in computer science)

Published January 1st 1990 by Springer-Verlag

Hardcover

more details