{"title":"Katalin Bimbo","description":null,"products":[{"product_id":"proof-theory-taylor-francis-inc-9781466564664-sequent-calculi-and-related-formalisms-katalin-bimbo","title":"Proof Theory","description":"","brand":"Katalin Bimbo","offers":[{"title":"Default Title","offer_id":52231596867926,"sku":"9781466564664","price":145.5,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781466564664.jpg?v=1767748524"},{"product_id":"proof-theory-taylor-francis-ltd-9781032920771-sequent-calculi-and-related-formalisms-katalin-bimbo","title":"Proof Theory","description":"\u003cp\u003eAlthough sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, this book presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from\u003c\/p\u003e","brand":"Katalin Bimbo","offers":[{"title":"Default Title","offer_id":52258817704278,"sku":"9781032920771","price":72.74,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781032920771.jpg?v=1767789248"},{"product_id":"combinatory-logic-taylor-francis-ltd-9781032921181-pure-applied-and-typed-katalin-bimbo","title":"Combinatory Logic","description":"\u003cp\u003eDiscover the fascinating world of \u003cstrong\u003eCombinatory Logic\u003c\/strong\u003e by \u003cstrong\u003eKatalin Bimbo\u003c\/strong\u003e, a groundbreaking exploration published by \u003cstrong\u003eTaylor \u0026amp; Francis Ltd\u003c\/strong\u003e in 2024. This comprehensive paperback spans \u003cstrong\u003e358 pages\u003c\/strong\u003e and serves as an essential reference for anyone interested in the intersections of philosophical, mathematical, and computational logic.\u003c\/p\u003e \n\n\u003cp\u003eKatalin Bimbo expertly demystifies combinatory logic, making complex concepts accessible to readers. This book not only covers significant advancements in the field over the past four decades but also revisits classical information that remains relevant today. Whether you're a student, researcher, or simply curious about the intricacies of logic, this resource is designed to enhance your understanding and application of combinatory logic.\u003c\/p\u003e \n\n\u003cp\u003eDelve into the rich content of \u003cstrong\u003eCombinatory Logic\u003c\/strong\u003e and expand your knowledge in computer algorithms and set theory. Perfect for academics and enthusiasts alike, this title is a must-have for your collection.\u003c\/p\u003e","brand":"Katalin Bimbo","offers":[{"title":"Default Title","offer_id":52267479007574,"sku":"9781032921181","price":72.74,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781032921181.jpg?v=1767800297"}],"url":"https:\/\/www.englishbook.pt\/collections\/katalin-bimbo.oembed","provider":"Bookshop","version":"1.0","type":"link"}