Church's Thesis After 70 Years
(Bog, Hardback, Engelsk)
Forlag:
De Gruyter
- Type: Bog
- Format: Hardback
-
Sprog:
Engelsk
- ISBN-13: 9783110324945
- Se flere detaljer ▼
Beskrivelse
Provides summary of the state of research on Church's Thesis. This book includes the following: different formulations of CT, CT and intuitionism, CT and intensional mathematics, CT and physics, the epistemic status of CT, CT and philosophy of mind, provability of CT and CT and functional programming.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | De Gruyter |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgivelsesdato | 15-06-2006 |
| Første udgivelsesår | 2006 |
| Serie | Ontos Mathematical Logic |
| Fagredaktør | Adam Olszewski, Jan Wolenski, Robert Janusz |
| Originalsprog | Germany |
| Sideantal | 551 |
| Indbinding | Hardback |
| Forlag | De Gruyter |
| Sideoplysninger | 551 pages |
| Mål | 210 x 148 |
| ISBN-13 / EAN-13 | 9783110324945 |