30% OFF

Computational Logic And Set Theory

Applying Formalized Logic To Analysis

by Jacob T. Schwartz, Eugenio G. Omodeo e Domenico Cantone
language: english
Publisher: SPRINGER LONDON LTD, July of 2011 ‧
60,82€
42,57€
30% OFF
free shipping
Sell ​​your book
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.

Computational Logic And Set Theory

Applying Formalized Logic To Analysis

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

Property Description
ISBN: 9780857298072
Publisher: SPRINGER LONDON LTD
Release Date: July of 2011
Language: English
Cover: Hardcover
Pages: 416
Format: Book
Categories: Books in English > Computing > Other Applications
EAN: 9780857298072