Mathematical logic books

Resulting from trans-disciplinary work between mathematicians, philosophers, linguists and semioticians, the volume...  Read More >>

This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024,...  Read More >>

The brain-busting follow up from the UK's finest code-breakers...  Read More >>

For good reasons, however, hardly any work deals with Gödel's article in its original form: His complex lines of...  Read More >>

Care is taken to emphasize the different layers of the mathematical argument – the layer within and the metalayer...  Read More >>

Challenge yourself with number puzzles 200 mathematical logic puzzles to test your mental dexterity with this collection...  Read More >>

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

Most available cryptology books primarily focus on either mathematics or history. Breaking this mold, Secret History...  Read More >>

This edition offers a more instructive Preface to assist instructors on developing the course they prefer. The prerequisites...  Read More >>

Taking an amusing and digestible look at the usually dry world of probability and statistics, this is the ultimate...  Read More >>

The Journal of Applied Logics- IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure...  Read More >>

This book develops a new approach to plural arbitrary reference and examines mereology, including considering four...  Read More >>

A fascinating exploration of how we can make better, accessible, mathematically-informed predictions about the world...  Read More >>

Taking an amusing and digestible look at the usually dry world of probability and statistics, this is the ultimate...  Read More >>

 Read More >>

This work focuses on resilience estimation and control of cyber-physical networked systems using attacker-defender...  Read More >>

 Read More >>

Since ancient times, philosophers have recognised that truth comes in many 'modes', so that a proposition can be...  Read More >>

Taking an amusing and digestible look at the usually dry world of probability and statistics, this is the ultimate...  Read More >>

Taking an amusing and digestible look at the usually dry world of probability and statistics, this is the ultimate...  Read More >>

This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods...  Read More >>

This book is dedicated to Dick de Jongh’s contributions to the theory of intuitionistic and provability logics....  Read More >>

 Read More >>

The book showcases how advanced cybersecurity and forensic techniques can be applied to various computational issues....  Read More >>

Kurt Gödel (1906-1978) gained world-wide fame by his incompleteness theorem of 1931. Later, he set as his aim to...  Read More >>