First-Order Logic and Automated Theorem Proving > Editions
by Melvin Fitting First published April 28th 1990
Published November 29th 1995
by Springer
2nd, 2nd ed. 1996, Hardcover, 326 pages
Author(s):
ISBN:
9780387945934
(ISBN10: 0387945938)
ASIN:
0387945938
Edition language:
English
Average rating:
4.75
(4 ratings)
Published December 6th 2012
by Springer
2, Kindle Edition, 326 pages
Author(s):
ISBN:
9781461223603
(ISBN10: 1461223601)
ASIN:
B00FB3Q078
Edition language:
English
Average rating:
0.0
(0 ratings)
Published January 1st 2012
by Springer
Softcover reprint of the original 1st ed. 1990, Paperback, 257 pages
Author(s):
ISBN:
9781468403596
(ISBN10: 1468403591)
ASIN:
1468403591
Edition language:
English
Average rating:
0.0
(0 ratings)
Published January 1st 1990
by Springer Verlag
Hardcover, 242 pages
Author(s):
ISBN:
9780387972336
(ISBN10: 0387972331)
ASIN:
0387972331
Edition language:
English
Average rating:
4.00
(1 rating)
Published January 1st 1980
by KLUWER ACADEMIC PUBLISHERS
Paperback, 0 pages
Author(s):
ASIN:
B000N6B2Z8
Average rating:
0.0
(0 ratings)
Published
by Springer
Paperback, 0 pages
Author(s):
ASIN:
B00EZ0MCFC
Edition language:
English
Average rating:
0.0
(0 ratings)
Published
by Springer
2nd 1996. Softco, Paperback, 0 pages
Author(s):
ASIN:
B010WENSQQ
Edition language:
English
Average rating:
0.0
(0 ratings)
Published
by Springer
Paperback, 348 pages
Author(s):
ISBN:
9781461223610
(ISBN10: 146122361X)
ASIN:
146122361X
Edition language:
English
Average rating:
0.0
(0 ratings)
Published January 1st 1990
by Springer-Verlag, Inc.
First Edition, First Printing, Paperback, 0 pages
Author(s):
ASIN:
B00BY73FN2
Edition language:
English
Average rating:
0.0
(0 ratings)
Published February 5th 2012
by Springer
Paperback, 264 pages
Author(s):
ISBN:
9781468403589
(ISBN10: 1468403583)
ASIN:
1468403583
Edition language:
English
Average rating:
0.0
(0 ratings)
