Mathematical Logic

This book provides the reader with a comprehensive account of the contributions of Pythagoras to mathematics and philosophy, using them as a starti...

This book provides the reader with a comprehensive account of the contributions of Pythagoras to mathematics and philosophy, using them as a starti...

The Cybersecurity landscape is a daunting one today. It is nothing like it was 10 years ago. Now, it has become very complex, covert, dynamic, and ...

Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasi...

Already in just a decade of existence, cryptocurrencies have been the worlds best-performing financial asset, outperforming stocks, bonds, commodit...

In this volume, logic starts from the observation that in everyday arguments, as brought forward by say a lawyer, statements are transformed lingui...

Information security has a major gap when cryptography is implemented. Cryptographic algorithms are well defined, key management schemes are well k...

Logic for Kids is intended to help parents take charge of the intellectual development of their children in a critical area: the acquisition of ski...

The book introduces a new form of mathematical logic called Information Oriented Logic (IOL). It demonstrates that IOL is capable of solving variou...

Offering a unique resource for advanced graduate students and researchers, this book treats the fundamentals of Quillen model structures on abelian...

A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be ac...

Mathematician and popular science author Eugenia Cheng is on a mission to show you that mathematics can be flexible, creative, and visual. This joy...

Multi-valued and fuzzy logics provide mathematical and computational tools for handling imperfect information and decision-making with rational col...

This book explores the exciting world of quantum computing, from its theoretical foundations to its practical applications, offering both non-techn...

This book explores the exciting world of quantum computing, from its theoretical foundations to its practical applications, offering both non-techn...

The transition from school mathematics to university mathematics is seldom straightforward. Students are faced with a disconnect between the algori...

Alexander Grothendieck is often considered one of the greatest mathematicians of the twentieth century (if not all time), and his unique vision con...

Der Band 1A beginnt mit einem Vorwort zur Gesamtedition. Den Hauptteil des Bandes bilden Hausdorffs Arbeiten über geordnete Mengen aus den Jahren 1...

This is the first book focused on the logico-philosophical aspects of the lambda-calculus since the inception of the field in 1932 in the pioneerin...

Drawing a line, and then another, and another. Go back from the lines to the movements they capture and see gestures in them: not spatial displacem...

This book argues for neuromorphic systems as a technology of the future, which are oriented towards the energy efficiency of natural brains. Energy...