{"product_id":"metamathematical-investigation-of-intuitionistic-arithmetic-and-analysis-von-anne-s-troelstra-hrsg","title":"Metamathematical Investigation of Intuitionistic Arithmetic and Analysis","description":"\u003cp\u003eIntuitionistic formal systems.- Models and computability.- Realizability and functional interpretations.- Normalization theorems for systems of natural deduction.- Applications of Kripke models.- Iterated inductive definitions, trees and ordinals.- Erratum.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540064916\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540064916","offer_id":39435919163485,"sku":"9783540064916","price":69.54,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/8b336e0c-6015-4e08-bbc6-ce08564b674b.jpg?v=1772172097","url":"https:\/\/shop.autorenwelt.de\/products\/metamathematical-investigation-of-intuitionistic-arithmetic-and-analysis-von-anne-s-troelstra-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}