{"product_id":"mathl-logic-for-comp-sci-2nd-ed-v47-hardcover","title":"Math'l Logic for Comp Sci-2nd Ed (V47) - Hardcover","description":"\u003cdiv\u003e\u003cp style=\"text-align: right;\"\u003e\u003ca href=\"https:\/\/reportcopyrightinfringement.com\/\" target=\"_blank\" rel=\"nofollow\"\u003e\u003cb\u003eReport copyright infringement\u003c\/b\u003e\u003c\/a\u003e\u003c\/p\u003e\u003c\/div\u003e\u003cp\u003eby \u003cb\u003eLu Z W\u003c\/b\u003e (Author)\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eMathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book is intended to attend to both the peculiarities of logical systems and the requirements of computer science.\u003c\/p\u003e\u003cp\u003eIn this edition, the revisions essentially involve rewriting the proofs, increasing the explanations, and adopting new terms and notations.\u003c\/p\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 256\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 0.63 x 9 x 6 IN\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e September 03, 1998\u003c\/div\u003e\n            ","brand":"BooksCloud","offers":[{"title":"Default Title","offer_id":48289100923129,"sku":"9789810230913","price":134.46,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0789\/2782\/3097\/files\/NSR4sx5sL89789810230913.webp?v=1776258570","url":"https:\/\/bookscloud.io\/products\/mathl-logic-for-comp-sci-2nd-ed-v47-hardcover","provider":"BooksCloud Book Dropshipping","version":"1.0","type":"link"}