{"product_id":"logics-and-type-systems-in-theory-and-practice-springer-international-publishing-ag-9783031617157-essays-dedicated-to-herman-geuvers-on-the-occasion-of-his-60th-birthday-venanzio-capretta","title":"Logics and Type Systems in Theory and Practice","description":"\u003cp\u003e\u003cstrong\u003eLogics and Type Systems in Theory and Practice\u003c\/strong\u003e by Venanzio Capretta, Robbert Krebbers, Freek Wiedijk.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2024), Paperback, 273 pages.\u003c\/p\u003e","brand":"Venanzio Capretta","offers":[{"title":"Default Title","offer_id":52261819187542,"sku":"9783031617157","price":133.37,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031617157.jpg?v=1767793094","url":"https:\/\/www.englishbook.pt\/products\/logics-and-type-systems-in-theory-and-practice-springer-international-publishing-ag-9783031617157-essays-dedicated-to-herman-geuvers-on-the-occasion-of-his-60th-birthday-venanzio-capretta","provider":"Bookshop","version":"1.0","type":"link"}