{"product_id":"mathematical-logic-and-theoretical-computer-science-taylor-francis-inc-9780824777463-kueker","title":"Mathematical Logic and Theoretical Computer Science","description":"\u003cp\u003eDiscover the intricate world of \u003cstrong\u003eMathematical Logic and Theoretical Computer Science\u003c\/strong\u003e by \u003cstrong\u003eKueker\u003c\/strong\u003e, published by \u003cstrong\u003eTaylor \u0026amp; Francis Inc\u003c\/strong\u003e in 1986. This comprehensive volume spans \u003cstrong\u003e408 pages\u003c\/strong\u003e and delves into essential topics such as denotational semantics, recursion theory, model theory, and algebra. The book also explores automath and automated reasoning, stability theory, topoi in mathematics, and their implications in logic.\u003c\/p\u003e \n\n\u003cp\u003eDesigned for both mathematical logicians and computer scientists, this text serves as a valuable resource for those looking to deepen their understanding of the connections between logic and computer science. Whether you are a student, researcher, or professional in the field, this book will enhance your knowledge and inspire new ideas in mathematical and symbolic logic.\u003c\/p\u003e","brand":"Kueker","offers":[{"title":"Default Title","offer_id":52235970150742,"sku":"9780824777463","price":345.56,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780824777463.jpg?v=1767756367","url":"https:\/\/www.englishbook.fi\/products\/mathematical-logic-and-theoretical-computer-science-taylor-francis-inc-9780824777463-kueker","provider":"Bookshop","version":"1.0","type":"link"}