Logic and Structure
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer London Ltd
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9781447145578
- Se flere detaljer ▼
Beskrivelse
Dirk van Dalen’s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel’s famous incompleteness theorem. The discussion of classical logic is concluded with a concise exposition of second-order logic.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer London Ltd |
| Forfatter | Dirk van Dalen |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 5th ed. 2013 |
| Udgivelsesdato | 13-11-2012 |
| Første udgivelsesår | 2012 |
| Serie | Universitext |
| Illustrationer | 27 Illustrations, black and white |
| Originalsprog | United Kingdom |
| Sideantal | 263 |
| Indbinding | Paperback / softback |
| Forlag | Springer London Ltd |
| Sideoplysninger | 263 pages, 27 Illustrations, black and white |
| Mål | 231 x 149 x 16 |
| ISBN-13 / EAN-13 | 9781447145578 |