Bemærk: Kan ikke leveres før jul.
Forventes på lager: 08-03-2015
Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis. In Part One, he applies Scott- Solovay's Boolean-valued models of set theory to
| Forlag | Princeton University Press |
| Forfatter | Gaisi Takeuti |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 08-03-2015 |
| Første udgivelsesår | 2015 |
| Serie | Princeton Legacy Library |
| Originalsprog | United States |
| Sideantal | 148 |
| Indbinding | Paperback / softback |
| Forlag | Princeton University Press |
| Sideoplysninger | 148 pages |
| Mål | 157 x 234 x 14 |
| ISBN-13 / EAN-13 | 9780691610221 |