{"product_id":"9780937073773","title":"Lectures on Linear Logic","description":"The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.","brand":"Center for the Study of Language and Inf","offers":[{"title":"Default Title","offer_id":47033908756720,"sku":"9780937073773","price":25.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9780937073773_p0.jpg?v=1763856447","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9780937073773","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}