Bemærk: Kan ikke leveres før jul.
Forventes på lager: 15-10-2018
Jahrhundert ist es der mathematischen Logik gelungen, weitreichende Antworten auf diese Fragen zu geben. im Mittelpunkt steht dabei die Logik erster Stufe. Auflage wurde der Text überarbeitet und durch die Darstellung zweier für Logik und Informatik wichtiger Entscheidbarkeitsresultate erweitert.
| Forlag | Springer Fachmedien Wiesbaden |
| Forfattere | Heinz-Dieter Ebbinghaus, Jorg Flum, Wolfgang Thomas |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Tysk |
| Udgave | 6., überarbeitete und erweiterte Auflage 2018 |
| Udgivelsesdato | 15-10-2018 |
| Første udgivelsesår | 2018 |
| Illustrationer | 16 Illustrations, black and white; IX, 367 S. 16 Abb. |
| Originalsprog | Germany |
| Sideantal | 367 |
| Indbinding | Paperback / softback |
| Forlag | Springer Fachmedien Wiesbaden |
| Sideoplysninger | 367 pages, 16 Illustrations, black and white; IX, 367 S. 16 Abb. |
| Mål | 210 x 148 |
| ISBN-13 / EAN-13 | 9783662580288 |