Mathematical logic books

Dieses Buch zeichnet ein – im wahrsten Sinne des Wortes – farbenfrohes Bild von Mathematik: Es stellt eine Auswahl...  Read More >>

This revised edition of the highly recommended book ""First-Order Modal Logic"", originally published in 1998, contains...  Read More >>

This volume results from two programs that took place at the Institute for Mathematical Sciences at the National...  Read More >>

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

The paradoxes about truth are the subject of extensive research. Developing an original approach, this book argues...  Read More >>

Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 41st IMAC, A Conference and Exposition...  Read More >>

He [Kronecker] was, in fact, attempting to describe and to initiate a new branch of mathematics, which would contain...  Read More >>

Designed for an Introduction to Proofs course organised around the themes of number and space. Concepts are illustrated...  Read More >>

A book of puzzles and conundrums for the mathematically or logically inclined. Some easier than others, some classic,...  Read More >>

This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), it develops PLEN...  Read More >>

Companies are adapting blockchain for improving such sectors as supply chain and other transactions in a secure...  Read More >>

 Read More >>

 Read More >>

It is not always clear what computer programs mean in the various languages in which they can be written, yet a...  Read More >>

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

Resulting from trans-disciplinary work between mathematicians, philosophers, linguists and semioticians, the volume...  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 >>

The ultimate lateral-thinking challenge. If you relish a serious mental workout, this collection...  Read More >>

Challenging brainteasers to test your puzzle-solving skills If you relish a challenging mental workout, these brain...  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 >>

 Read More >>

 Read More >>

 Read More >>

This is the first self-contained introduction to the use of string diagrams to reason in elementary category theory....  Read More >>