Computational Logic and Set Theory

Name: Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Brand: Springer London Ltd
SKU: 9780857298072
Price: 2980.00 INR
Availability: InStock

Applying Formalized Logic to Analysis

by Jacob T. Schwartz, Eugenio G. Omodeo, Domenico Cantone

Springer London Ltd · 2011

₹2,980

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

Published by Springer London Ltd in 2011, Computational Logic and Set Theory: Applying Formalized Logic to Analysis by Jacob T. Schwartz, Eugenio G. Omodeo & others runs to 416 pages.

Topics covered include Set theory, Automatic theorem proving, Mathematical Logic and Formal Languages and Computation by Abstract Devices.