Home ›Springer Spektrum ›Einführung in Die Mathematische Logik (English, Heinz-Dieter Ebbinghaus | Jörg Flum | Wolfgang Thomas)
Springer Spektrum
Einführung in Die Mathematische Logik (English, Heinz-Dieter Ebbinghaus | Jörg Flum | Wolfgang Thomas)
₹2,415
Inclusive of all taxes. Free shipping on orders above ₹499.
Quantity:
1
Free DeliveryAbove ₹499
7-Day ReturnEasy returns
100% AuthenticVerified product
Product Description
About the Book
Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Gibt es Grenzen der Beweisbarkeit? Ist die Mathematik widerspruchsfrei? Kann man das Auffinden mathematischer Beweise Computern �bertragen? Erst im 20. Jahrhundert ist es der mathematischen Logik gelungen, weitreichende Antworten auf diese Fragen zu geben. Im vorliegenden Werk werden die Ergebnisse systematisch zusammengestellt; im Mittelpunkt steht dabei die Logik erster S…
ISBN: 9783662580288
Specifications
| Publisher | Springer Spektrum |
| Language | English |
| ISBN-13 | 9783662580288 |
| ISBN-10 | 3662580284 |
| Author | Heinz-Dieter Ebbinghaus | Jörg Flum | Wolfgang Thomas |
