{"product_id":"friedrichsdorf-ulf-ulf-einfuehrung-in-die-klassische-und-intensionale-logik-9783528064891","title":"Einführung in die klassische und intensionale Logik","description":"Das 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.","brand":"Vieweg+Teubner Verlag","offers":[{"title":"Used - good","offer_id":53599604310358,"sku":"9783528064891-G","price":37.59,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783528064891_1_2f1f908c-98e1-42d9-9d85-39a1883bae4e.jpg?v=1781720198","url":"https:\/\/www.momoxbooks.com\/products\/friedrichsdorf-ulf-ulf-einfuehrung-in-die-klassische-und-intensionale-logik-9783528064891","provider":"momoxbooks","version":"1.0","type":"link"}