Computational Logic and Set Theory: Applying Formalized Logic to Analysis - Jacob T. Schwartz - Books - Springer London Ltd - 9780857298072 - July 16, 2011
In case cover and title do not match, the title is correct

Jacob T. Schwartz
Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 2 - 8

Our customers say:

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

Also available as:

Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.

417 pages, black & white illustrations

Media Books     Hardcover Book   (Book with hard spine and cover)
Released July 16, 2011
ISBN13 9780857298072
Publishers Springer London Ltd
Pages 416
Dimensions 166 × 243 × 30 mm   ·   824 g
Language English  

More by Jacob T. Schwartz

Show all

See all of Jacob T. Schwartz ( e.g. Hardcover Book and Paperback Book )