{"title":"George Tourlakis","description":null,"products":[{"product_id":"computability-book-george-tourlakis-9783030832018","title":"Computability","description":"This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathematically analyze computational processes and investigate the theoretical limitations of computing. Beginning with an introduction to the mathematisation of “mechanical process” using URM programs, this textbook explains basic theory such as primitive recursive functions and predicates and sequence-coding, partial recursive functions and predicates, and loop programs.   Advanced chapters cover the Ackerman function, Tarski’s theorem on the non-representability of truth, Goedel’s incompleteness and Rosser’s incompleteness theorems, two short proofs of the incompleteness theorem that are based on Lob's deliverability conditions, Church’s thesis, the second recursion theorem and applications, a provably recursive universal function for the primitive recursive functions, Oraclecomputations and various classes of computable functionals, the Arithmetical hierarchy, Turing reducibility and Turing degrees and the priority method, a thorough exposition of various versions of the first recursive theorem, Blum’s complexity, Hierarchies of primitive recursive functions, and a machine-independent characterisation of Cobham's feasibly computable functions.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49744296673553,"sku":"NGR9783030832018","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51060213448977,"sku":"NIN9783030832018","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52530728730897,"sku":"NLS9783030832018","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3030832015.jpg?v=1751252360"},{"product_id":"computability-book-george-tourlakis-9783030832049","title":"Computability","description":"This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathematically analyze computational processes and investigate the theoretical limitations of computing. Beginning with an introduction to the mathematisation of “mechanical process” using URM programs, this textbook explains basic theory such as primitive recursive functions and predicates and sequence-coding, partial recursive functions and predicates, and loop programs.   Advanced chapters cover the Ackerman function, Tarski’s theorem on the non-representability of truth, Goedel’s incompleteness and Rosser’s incompleteness theorems, two short proofs of the incompleteness theorem that are based on Lob's deliverability conditions, Church’s thesis, the second recursion theorem and applications, a provably recursive universal function for the primitive recursive functions, Oraclecomputations and various classes of computable functionals, the Arithmetical hierarchy, Turing reducibility and Turing degrees and the priority method, a thorough exposition of various versions of the first recursive theorem, Blum’s complexity, Hierarchies of primitive recursive functions, and a machine-independent characterisation of Cobham's feasibly computable functions.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49745840210193,"sku":"NGR9783030832049","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52125487333649,"sku":"NLS9783030832049","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/303083204X.jpg?v=1751063540"},{"product_id":"discrete-mathematics-book-george-tourlakis-9783031304873","title":"Discrete Mathematics","description":"This book is ideal for a first or second year discrete mathematics course for mathematics, engineering, and computer science majors. The author has extensively class-tested early conceptions of the book over the years and supplements mathematical arguments with informal discussions to aid readers in understanding the presented topics.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49751760797969,"sku":"NGR9783031304873","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51063959159057,"sku":"NIN9783031304873","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/303130487X.jpg?v=1751095206"},{"product_id":"lectures-in-logic-and-set-theory-volume-1-mathematical-logic-book-george-tourlakis-9780521168465","title":"Lectures in Logic and Set Theory: Volume 1, Mathematical Logic","description":"This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume 1 includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51208341258513,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51208344699153,"sku":"NIN9780521168465","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52455752663313,"sku":"NLS9780521168465","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0521168465.jpg?v=1751293615"},{"product_id":"lectures-in-logic-and-set-theory-volume-2-set-theory-book-george-tourlakis-9780521168489","title":"Lectures in Logic and Set Theory: Volume 2, Set Theory","description":"This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume II, on formal (ZFC) set theory, incorporates a self-contained 'chapter 0' on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques will provide the reader with a solid foundation in set theory and provides a context for the presentation of advanced topics such as absoluteness, relative consistency results, two expositions of Godel's constructible universe, numerous ways of viewing recursion, and a chapter on Cohen forcing.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51226905575697,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51226907509009,"sku":"NIN9780521168489","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52427293262097,"sku":"NLS9780521168489","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0521168481.jpg?v=1750942943"},{"product_id":"mathematical-logic-book-george-tourlakis-9780470280744","title":"Mathematical Logic","description":"A comprehensive and user-friendly guide to the use of logic in mathematical reasoning  Mathematical Logic presents a comprehensive introduction to formal methods of logic and their use as a reliable tool for deductive reasoning. With its user-friendly approach, this book successfully equips readers with the key concepts and methods for formulating valid mathematical arguments that can be used to uncover truths across diverse areas of study such as mathematics, computer science, and philosophy.   The book develops the logical tools for writing proofs by guiding readers through both the established \"Hilbert\" style of proof writing, as well as the \"equational\" style that is emerging in computer science and engineering applications. Chapters have been organized into the two topical areas of Boolean logic and predicate logic. Techniques situated outside formal logic are applied to illustrate and demonstrate significant facts regarding the power and limitations of logic, such as:     Logic can certify truths and only truths. Logic can certify all absolute truths (completeness theorems of Post and Gödel). Logic cannot certify all \"conditional\" truths, such as those that are specific to the Peano arithmetic. Therefore, logic has some serious limitations, as shown through Gödel's incompleteness theorem.   Numerous examples and problem sets are provided throughout the text, further facilitating readers' understanding of the capabilities of logic to discover mathematical truths. In addition, an extensive appendix introduces Tarski semantics and proceeds with detailed proofs of completeness and first incompleteness theorems, while also providing a self-contained introduction to the theory of computability.   With its thorough scope of coverage and accessible style, Mathematical Logic is an ideal book for courses in mathematics, computer science, and philosophy at the upper-undergraduate and graduate levels. It is also a valuable reference for researchers and practitioners who wish to learn how to use logic in their everyday work.","brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":51248681222417,"sku":"NIN9780470280744","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52425021587729,"sku":"NLS9780470280744","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0470280743.jpg?v=1777543128"},{"product_id":"lectures-in-logic-and-set-theory-volume-1-mathematical-logic-book-george-tourlakis-9780521753739","title":"Lectures in Logic and Set Theory: Volume 1, Mathematical Logic","description":"This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume 1 includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52123942551825,"sku":"NLS9780521753739","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52735458672913,"sku":"NIN9780521753739","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780521753739.jpg?v=1757454218"},{"product_id":"lectures-in-logic-and-set-theory-volume-2-set-theory-book-george-tourlakis-9780521753746","title":"Lectures in Logic and Set Theory: Volume 2, Set Theory","description":"This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume II, on formal (ZFC) set theory, incorporates a self-contained 'chapter 0' on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques will provide the reader with a solid foundation in set theory and provides a context for the presentation of advanced topics such as absoluteness, relative consistency results, two expositions of Godel's constructible universe, numerous ways of viewing recursion, and a chapter on Cohen forcing.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52124651684113,"sku":"NLS9780521753746","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":53005681361169,"sku":"NGR9780521753746","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780521753746.jpg?v=1757458015"},{"product_id":"discrete-mathematics-book-george-tourlakis-9783031304903","title":"Discrete Mathematics","description":"This book is ideal for a first or second year discrete mathematics course for mathematics, engineering, and computer science majors. The author has extensively class-tested early conceptions of the book over the years and supplements mathematical arguments with informal discussions to aid readers in understanding the presented topics. “Safe” – that is, paradox-free – informal set theory is introduced following on the heels of Russell’s Paradox as well as the topics of finite, countable, and uncountable sets with an exposition and use of Cantor’s diagonalisation technique. Predicate logic “for the user” is introduced along with axioms and rules and extensive examples. Partial orders and the minimal condition are studied in detail with the latter shown to be equivalent to the induction principle. Mathematical induction is illustrated with several examples and is followed by a thorough exposition of inductive definitions of functions and sets. Techniques for solving recurrence relations including generating functions, the O- and o-notations, and trees are provided. Over 200 end of chapter exercises are included to further aid in the understanding and applications of discrete mathematics.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":52152842191121,"sku":"NGR9783031304903","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031304903.jpg?v=1757618041"},{"product_id":"theory-of-computation-book-george-tourlakis-9781118014783","title":"Theory of Computation","description":"With a focus on Unbound Register Machines (URMs), this book introduces new ideas and topics using real computer-related examples to help readers gain the skills and intuition that are key to successful programming.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52995984818449,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52995985408273,"sku":"NIN9781118014783","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781118014783.jpg?v=1767666425"},{"product_id":"axiomatic-set-theory-book-george-tourlakis-9783032100399","title":"Axiomatic Set Theory","description":"This book discusses set theory as the foundation and language of all mathematics and how axiomatic set theory benefits from advances in logic.  Chapters are written to be accessible and formative for majors in mathematics, computer science, and philosophy.  The author presents the important tools and topics including relations and functions, the concept of order, induction and inductive definitions, Cantor’s diagonalisation as well as ordinals and cardinals.  The axioms of (ZFC) set theory are introduced with natural axiomatizations and informal justifications, which is relatively distinctive. Interesting topics such as computing the support of sets by a recursively defined function and the von Neumann Hierarchy are included.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":53488146743569,"sku":"NGR9783032100399","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783032100399.jpg?v=1777674221"}],"url":"https:\/\/www.worldofbooks.com\/en-ie\/collections\/author-books-by-george-tourlakis.oembed","provider":"World of Books ","version":"1.0","type":"link"}