Computational Logic and Set Theory - Applying Formalized Logic to Analysis
- Författare
- Jacob T. Schwartz
- (Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer London | 2011 | Storbritannien, London | 978-0-85729-808-9 |