Mathematical logic books

Alan Turing: Enigma: The Incredible True Story Of The Man Who Cracked The Code If You Have Ever Used A Computer,...  Read More >>

 Read More >>

This book gives a proof of Cherlin’s conjecture for finite binary primitive permutation groups.  Read More >>

The aim of this book is to help students gain proficiency in correct logical reasoning. The material is presented...  Read More >>

 Read More >>

A significant number of works have set forth, over the past decades, the emphasis laid by seventeenth-century mathematicians...  Read More >>

Written by an expert in the field, this book is intended for postgraduate students and researchers in number theory...  Read More >>

 Read More >>

This book features more than 20 papers that celebrate the work of Hajnal Andréka and István Németi. It illustrates...  Read More >>

A fascinating exploration of a surprising advantage that humans have over our incoming robot masters: we're actually...  Read More >>

This book applies the formal discipline of logic to everyday discourse. It offers a new analysis of the notion of...  Read More >>

This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental...  Read More >>

Introducing the Collins Modern Classics, a series featuring some of the most significant books of recent times,...  Read More >>

This unique and contemporary text not only offers an introduction to proofs with a view towards algebra and analysis,...  Read More >>

 Read More >>

This book honors J. Michael Dunn, who was a preeminent relevance logician. Dunn's career spanned over 50 years...  Read More >>

This book presents the construction and resolution of 50 practical optimization problems and covers an exceptionally...  Read More >>

This volume contains English translations of Gödel's chapters on logicism and the antinomies and on the calculi...  Read More >>

This textbook introduces enumerative combinatorics through the framework of formal languages and bijections. Connections...  Read More >>

Introduces NeutroAlgebra, an emerging field of research. The book provides a comprehensive collection of original...  Read More >>

This book describes the logical structure of Mathematics from its foundations to its real-world applications. It...  Read More >>

 Read More >>

 Read More >>

 Read More >>

The book is about strong axioms of infinity (also known as large cardinal axioms) in set theory, and the ongoing...  Read More >>