Bemærk: Kan ikke leveres før jul.
Forventes på lager: 08-01-2009
The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the study of the principles that govern the concepts of necessity and possibility; proof theory is, in part, the study of those that govern provability and consistency.
| Forlag | Cambridge University Press |
| Forfatter | George Boolos |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 08-01-2009 |
| Første udgivelsesår | 2009 |
| Illustrationer | Worked examples or Exercises |
| Originalsprog | United Kingdom |
| Sideantal | 196 |
| Indbinding | Paperback / softback |
| Forlag | Cambridge University Press |
| Sideoplysninger | 196 pages, Worked examples or Exercises |
| Mål | 216 x 140 x 11 |
| ISBN-13 / EAN-13 | 9780521092975 |