Mathematical logic books

This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean....  Read More >>

 Read More >>

This textbook gives a comprehensive introduction to mathematical logic using modern conventions and perspectives,...  Read More >>

The sub-field of mathematics that focuses on identifying the applications of formal logic to mathematics is known...  Read More >>

In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method,...  Read More >>

In this unique take on a classic mathematical logic course, students are guided in implementing the underlying logical...  Read More >>

In this unique take on a classic mathematical logic course, students are guided in implementing the underlying logical...  Read More >>

Time and Space in Formal Logic begins with an analysis of assumptions about how logic and language relate. Then...  Read More >>

 Read More >>

This book includes more details about the context of Gödel’s life than are found in earlier biographies, while avoiding...  Read More >>

 Read More >>

Discover the ten things we all should know about mathematics in this fascinating collection of short essays  Read More >>

Presents the basic facts about ultrafilters and ultraproducts to readers with no prior knowledge of the subject....  Read More >>

 Read More >>

The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories...  Read More >>

The Annotated Gödel offers a guided tour of Kurt Gödel's 1931 article on incompleteness, which demonstrated unexpected...  Read More >>

The Annotated Gödel offers a guided tour of Kurt Gödel's 1931 article on incompleteness, which demonstrated unexpected...  Read More >>

 Read More >>

This volume celebrates the 60th anniversary of the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung...  Read More >>

This title is part of UC Press's Voices Revived program, which commemorates University of California Press’s mission...  Read More >>

"Prof Dr Martin K Purvis spent most of his academic life with the Department of Information Science at the University...  Read More >>

 Read More >>

Knowledge of automata theory and formal languages is crucial for understanding human-computer interaction, as well...  Read More >>

In this book Juliette Kennedy presents an original perspective on foundations of mathematics. Departing from Gödel...  Read More >>

The text covers concepts of cyber security through quantum computing and quantum cryptography in a single volume....  Read More >>