Computational Logic and Set Theory
Applying Formalized Logic to Analysis
Edición de la obra Computational Logic and Set Theory
| Autor | Jacob T. T. Schwartz, Martin Davis, Domenico Cantone, Eugenio G. Omodeo |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Sep 06, 2014 |
| Páginas | 436 |
| Formato | paperback |
| ISBN-13 | 9781447160182 |
| ISBN-10 | 1447160185 |
| Número de Cutter |