{"product_id":"from-a-flexible-type-system-to-metapredicative-wellordering-proofs","title":"From a Flexible Type System to Metapredicative Wellordering Proofs","description":"\u003cp\u003eInauguraldissertation an der Philosophisch-naturwissenschaftlichen FakultŠt der UniversitŠt Bern.\u003c\/p\u003e","brand":"Florian Ranzi","offers":[{"title":"Paperback","offer_id":44347955314849,"sku":"9781326455200","price":31.54,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0462\/1120\/3233\/files\/14r9m4zg-front-shortedge-384_45b528f2-bd45-4679-b0dc-efcc568f27f3.jpg?v=1747977257","url":"https:\/\/bookswholesale.myshopify.com\/products\/from-a-flexible-type-system-to-metapredicative-wellordering-proofs","provider":"BooksWholesale","version":"1.0","type":"link"}