Computational Logic and Set Theory: Applying Formalized Logic to Analysis - Jacob T. Schwartz - Books - Springer London Ltd - 9781447160182 - September 6, 2014
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 2011 edition

Price
€ 49.49

Ordered from remote warehouse

Expected delivery Jan 13 - 21, 2026
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

Also available as:

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

416 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 6, 2014
ISBN13 9781447160182
Publishers Springer London Ltd
Pages 416
Dimensions 155 × 235 × 23 mm   ·   607 g
Language English  

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