First Order Logic and Automated Theorem Proving 2ed (pb 1996)

Name: First Order Logic and Automated Theorem Proving 2ed (pb 1996)
Brand: SPRINGER
SKU: 9781461275152
Price: 6994.00 INR
Availability: InStock

by Fitting M.

SPRINGER · 2013

₹6,994

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

First Order Logic and Automated Theorem Proving 2ed (pb 1996) is written by Fitting M.. This edition from SPRINGER (2013) has 326 pages. It belongs to the Graduate Texts in Computer Science series.

Its main subjects are Logic design, Symbolic and mathematical Logic, Computer science and Automatic theorem proving.

About the author: Melvin Fitting (born 1942).