Mathematical logic books

The lecture notes in mathematical logic from the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools....  Read More >>

An Unabridged Printing, To Include Updated Typeface  Read More >>

This is an introductory textbook which is designed to be useful not only to intending logicians but also to mathematicians...  Read More >>

Over the last 45 years, Boolean theorem has been generalized and extended in several different directions and its...  Read More >>

Descent in Buildings begins with the resolution of a major open question about the local structure of Bruhat-Tits...  Read More >>

This monograph introduces and explores the notions of a commutator equation and the equationally-defined commutator...  Read More >>

This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal...  Read More >>

This volume contains seventeen essays in the history of modern mathematical logic. The first nine are concerned...  Read More >>

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization...  Read More >>

Mathematician George Boole's An Investigation of the Laws of Thought is considered to be a seminal work on algebraic...  Read More >>

 Read More >>

This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. After a laudatio...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2014 Workshops LENLS,...  Read More >>

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization...  Read More >>

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization...  Read More >>

 Read More >>

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization...  Read More >>

Practical argumentation is intelligent reasoning from an agent's goals and known circumstances, and from an action...  Read More >>

Symmetric Boolean functions have played an important role in many aspects of design automation for many years. This...  Read More >>

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization...  Read More >>

However, his papers also include pioneering work in applied mathematics and mathematical physics. This edition...  Read More >>

 Read More >>

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015,...  Read More >>

Intending to take his readers very much into his confidence: as he builds the theory, the author points out the...  Read More >>

Practical argumentation is intelligent reasoning from an agent's goals and known circumstances, and from an action...  Read More >>