{"product_id":"einfuhrung-in-die-klassische-und-intensionale-logik-von-ulf-friedrichsdorf","title":"Einführung in die klassische und intensionale Logik","description":"\u003cp\u003eDas Buch setzt sich zum Ziel, auch mathematisch wenig vorgebildete Leser in die klassische zweiwertige Logik und ihre intensionalen Erweiterungen wie Modal-Logik, Zeit-Logik und dynamische Logik einzuführen. Die hier näher betrachteten intensionalen Systeme hängen zusammen mit Fragen aus der Beweistheorie der Peano-Arithmetik, Korrektheitsfragen in der Theorie der Programmiersprachen und mit Problemen, die die Semantik natürlicher Sprachen betreffen.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783528064891\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783528064891","offer_id":49592808309061,"sku":"9783528064891","price":69.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/835ab4d1-90b5-4df9-9379-2b02b08df42c.jpg?v=1760416585","url":"https:\/\/shop.autorenwelt.de\/products\/einfuhrung-in-die-klassische-und-intensionale-logik-von-ulf-friedrichsdorf","provider":"Autorenwelt Shop","version":"1.0","type":"link"}