Forventes på lager: 26-06-1973
Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.
| Forlag | University of California Press |
| Forfatter | Geoffrey Hunter |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 26-06-1973 |
| Første udgivelsesår | 1973 |
| Originalsprog | United States |
| Sideantal | 302 |
| Indbinding | Paperback / softback |
| Forlag | University of California Press |
| Sideoplysninger | 302 pages |
| Mål | 136 x 209 x 18 |
| ISBN-13 / EAN-13 | 9780520023567 |