{"product_id":"logic-and-computer-science-9783540527343","title":"Logic and Computer Science","description":"\u003cp\u003e • Author(s): Steven Homer | Piergiorgio Odifreddi | Anil Nerode\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003eThe courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: \u003cb\u003eS. Homer: \u003c\/b\u003e The Isomorphism Conjecture and its Generalization.- \u003cb\u003eA. Nerode: \u003c\/b\u003e Some Lectures on Intuitionistic Logic.- \u003cb\u003eR.A. Platek: \u003c\/b\u003e Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - \u003cb\u003eG.E. Sacks: \u003c\/b\u003e Prolog Programming.- \u003cb\u003eA. \u003c\/b\u003e \u003cb\u003eScedrov: \u003c\/b\u003e A Guide to Polymorphic Types.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":46893758742679,"sku":"9783540527343","price":2942.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540527343.webp?v=1770318734","url":"https:\/\/atlanticbooks.com\/products\/logic-and-computer-science-9783540527343","provider":"Atlantic Books","version":"1.0","type":"link"}