First-Order Logic and Automated Theorem Proving > Editions

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

Published November 29th 1995 by Springer

2nd, 2nd ed. 1996, Hardcover, 326 pages

more details

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

Published December 6th 2012 by Springer

2, Kindle Edition, 326 pages

more details

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

Published January 1st 2012 by Springer

Softcover reprint of the original 1st ed. 1990, Paperback, 257 pages

more details

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

Published January 1st 1990 by Springer Verlag

Hardcover, 242 pages

more details

First-Order Modal Logic (Paperback)

Published January 1st 1980 by KLUWER ACADEMIC PUBLISHERS

Paperback, 0 pages

more details

First-Order Modal Logic (Paperback)

Published by Springer

Paperback, 0 pages

more details

First-Order Logic and Automated Theorem Proving (Texts in Computer Science) 2nd 1996. Softco edition by Fitting, Melvin (2013) Paperback

Published by Springer

2nd 1996. Softco, Paperback, 0 pages

more details

First-Order Logic and Automated Theorem Proving (Paperback)

Published by Springer

Paperback, 348 pages

more details

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

Published January 1st 1990 by Springer-Verlag, Inc.

First Edition, First Printing, Paperback, 0 pages

more details

First-Order Logic and Automated Theorem Proving (Paperback)

Published February 5th 2012 by Springer

Paperback, 264 pages

more details