© 2011

# Computational Logic and Set Theory

## Applying Formalized Logic to Analysis

## Benefits

Presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz

Introduces an unique system for automated proof verification in large-scale software systems

With a Foreword by Prof. Martin Davis of the Courant Institute of Mathematical Sciences, New York University

- 18 Citations
- 6.8k Downloads