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
Íkr 6,729
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 10 - 18

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  

Mere med samme udgiver

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