Einfuhrung in die mathematische Logik
Heinz-Dieter Ebbinghaus, Jorg Flum, Wolfgang Thomas
Springer Fachmedien Wiesbaden, 2018
56,95 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9783662580288
- ISBN-10
- 3662580284
- Publisher
- Springer Fachmedien Wiesbaden
- Year
- 2018
- Publication date
- 2018-10-15
- Pages
- 367
- Dimensions
- 210x148x