{"product_id":"nederpelt-rob-type-theory-and-formal-proof-an-introduction-9781107036505","title":"Type Theory and Formal Proof: An Introduction","description":null,"brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":53910138978646,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/nederpelt-rob-type-theory-and-formal-proof-an-introduction-9781107036505","provider":"momoxbooks","version":"1.0","type":"link"}