First-Order Logic and Automated Theorem Proving - Texts in Computer Science - Melvin Fitting - Books - Springer-Verlag New York Inc. - 9781461275152 - June 26, 2013
In case cover and title do not match, the title is correct

First-Order Logic and Automated Theorem Proving - Texts in Computer Science 2nd ed. 1996. Softcover reprint of the original 2n edition

Melvin Fitting

Price
¥ 13,670
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 17 - 27
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

First-Order Logic and Automated Theorem Proving - Texts in Computer Science 2nd ed. 1996. Softcover reprint of the original 2n edition

There are many kinds of books on formal logic. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues.

343 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 26, 2013
ISBN13 9781461275152
Publishers Springer-Verlag New York Inc.
Pages 326
Dimensions 244 × 170 × 22 mm   ·   553 g
Language English  
Show all

More by Melvin Fitting

See all of Melvin Fitting ( e.g. Paperback Book and Hardcover Book )