{"product_id":"logic-of-computation-9783540629634","title":"Logic of Computation","description":"\u003cp\u003e • Author(s): Helmut Schwichtenberg\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic Design\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eLectures on Semantics: The Initial Algebra and Final Coalgebra Perspectives.- to Gröbner Bases.- Bounded Arithmetic and Propositional Proof Complexity.- The Structure of Nuprl's Type Theory.- Axiomatisations, Proofs, and Formal Specifications of Algorithms: Commented Case Studies in the Coq Proof Assistant.- Some Proof Theory of First Order Logic Programming.- Timed Rewriting Logic for the Specification of Time-Sensitive Systems.- Logic Programming and Meta-Logic.- Proofs, Lambda Terms and Control Operators.- Basic Proof Theory with Applications to Computation.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Hardcover","offer_id":45284285087895,"sku":"9783540629634","price":5819.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540629634.webp?v=1769280723","url":"https:\/\/atlanticbooks.com\/products\/logic-of-computation-9783540629634","provider":"Atlantic Books","version":"1.0","type":"link"}