Mathematical logic books

This is the first logically precise, computationally implementable, book-length account of rational belief revision....  Read More >>

"Das Unendliche hat wie keine andere Frage von jeher so tief das Gemüt der Menschen bewegt,"" das Unendliche hat...  Read More >>

This second edition of A Beginner’s Guide to Finite Mathematics: For Business, Management, and the Social Sciences...  Read More >>

This concise introduction takes the reader from standard notions to more advanced topics. It introduces the classic...  Read More >>

This text concentrates on the typical methods of modern set theory: transfinite induction, Zorn's Lemma, the Continuum...  Read More >>

Now in its fourth edition, this book has become a classic because it covers not simply the staple topics of intermediate...  Read More >>

This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been...  Read More >>

This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems...  Read More >>

Computability and Logic has become a classic because of its accessibility to students without a mathematical background...  Read More >>

An introduction to recent developments in algebraic combinatorics and an illustration of how research in mathematics...  Read More >>

This fresh approach blends theory and connections with other parts of mathematics so that readers can understand...  Read More >>

This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical...  Read More >>

Professor Merrie Bergmann presents an accessible introduction to the subject of many-valued and fuzzy logic designed...  Read More >>

This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense,...  Read More >>

This is an introduction to logic and the axiomatization of set theory from a unique standpoint. Difficult points...  Read More >>

Conceptual Mathematics introduces the concept of category to beginning students and practising mathematical scientists...  Read More >>

Examines the relations between logic and philosophy over the last 150 years. This mathematical and philosophical...  Read More >>

A crystal clear introduction to category theory that demystifies functors, natural transformations, limits and colimits,...  Read More >>

This book is devoted to providing an accessible, unified and self-contained introduction to domain theory. It can...  Read More >>

What are Gödel's Theorems, how were they established and why do they matter? Written with great clarity, this book...  Read More >>

Multiagent systems are those that include multiple autonomous entities with either diverging information or diverging...  Read More >>

Given an assignment of truth-values to all propositional variables, the truth-values of all other formulas under...  Read More >>

Recursion theory is gone into a little more deeply, including the s-m-n theorem, the recursion theorem, and Rice's...  Read More >>

There are two aspects to the theory of Boolean algebras; Chapter...  Read More >>

Since scientific software is the fuel that drives today's computers to solve a vast range of problems, huge efforts...  Read More >>