Computational Logic and Set Theory: Applying Formalized Logic to Analysis

by Martin Davis (Foreword), Domenico Cantone (Contributor), Martin Davis (Foreword), Jacob T. T. Schwartz (Author), Eugenio G. Omodeo (Contributor), Domenico Cantone (Contributor)

New
Paperback
2014
$61.04

$61.04

Save:$16.54 (21%)

Quantity

20+ in stock

More Information

Format: Paperback
Pages: 436
Edition: 2011
Publisher: Springer
Published: 06 Sep 2014
ISBN 10: 1447160185
ISBN 13: 9781447160182

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

New

$61.04

$61.04

More Information