
Computational Logic and Set Theory
Applying Formalized Logic to Analysis
Edición de la obra Computational Logic and Set Theory
| Autor | Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jul 28, 2011 |
| Páginas | 436 |
| Formato | paperback |
| ISBN-13 | 9780857298096 |
| ISBN-10 | 0857298097 |
| Número de Cutter | S399c |