{"product_id":"proof-and-computation-ii-from-proof-theory-and-univalent-mat-9789811236471","title":"Proof and Computation II From Proof Theory and Univalent Mathematics to Program Extraction and Verification","description":"\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Klaus Mainzer\u003cbr\u003e\u003cstrong\u003ePublisher:\u003c\/strong\u003e Wiley\u003cbr\u003e\u003cstrong\u003eEdition Year:\u003c\/strong\u003e 2021\u003cbr\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 9789811236471\u003c\/p\u003e","brand":"Wiley","offers":[{"title":"Default Title","offer_id":67610527957145,"sku":"9789811236471","price":7990.0,"currency_code":"PKR","in_stock":true}],"url":"https:\/\/booksworldstore.com\/products\/proof-and-computation-ii-from-proof-theory-and-univalent-mat-9789811236471","provider":"Books World","version":"1.0","type":"link"}