{"product_id":"dieter-ebbinghaus-heinz-einfuehrung-in-die-mathematische-logik-lehrbuchq-9783662580288","title":"Einführung in die mathematische Logik: Lehrbuchq","description":"Einleitung.- Syntax der Sprachen erster Stufe.- Semantik der Sprachen erster Stufe.- Ein Sequenzenkalkül.- Der Vollständigkeitssatz.- Der Satz von Löwenheim und Skolem und der Endlichkeitssatz.- Zur Tragweite der ersten Stufe.- Syntaktische Interpretationen und Normalformen.- Erweiterungen der Logik erster Stufe.- Berechenbarkeit und ihre Grenzen.- Freie Modelle und Logik-Programmierung.- Eine algebraische Charakterisierung der elementaren Äquivalenz.- Die Sätze von Lindström.- Lösungshinweise zu den Aufgaben.- Literaturverzeichnis.- Symbolverzeichnis.- Sach- und Personenverzeichnis.","brand":"Springer Spektrum","offers":[{"title":"Used - good","offer_id":53212983820630,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false},{"title":"Used - very good","offer_id":54404879384918,"sku":"9783662580288-V","price":32.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783662580288_1.jpg?v=1782334715","url":"https:\/\/www.momoxbooks.com\/products\/dieter-ebbinghaus-heinz-einfuehrung-in-die-mathematische-logik-lehrbuchq-9783662580288","provider":"momoxbooks","version":"1.0","type":"link"}