{"product_id":"geschke-stefan-endliche-modelltheorie-9783662683217","title":"Endliche Modelltheorie","description":"Einleitung.- erststufige Logik und endliche Strukturen.- ehrenfeucht-Fraïssé-Spiele.- 0-1-Gesetze.- Zweitstufige Logik und reguläre Sprachen.- Turing-Maschinen, Komplexitätsklassen und der Satz von Trahtenbrot.- Zweitstufige Logik und die Komplexität von Model Checking.","brand":"Springer Spektrum","offers":[{"title":"Default Title","offer_id":53683199476054,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783662683217_1.jpg?v=1778851846","url":"https:\/\/www.momoxbooks.com\/products\/geschke-stefan-endliche-modelltheorie-9783662683217","provider":"momoxbooks","version":"1.0","type":"link"}