Mathematical Logic

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...

Wireless Body Area Networks (WBANs) are vulnerable to cyberattacks and security breaches that could unlock the door for cybercriminals to penetrate...

Primarily designed for graduate students of mathematics, this textbook delves into Naïve set theory, offering valuable insights for senior undergra...

Propositiones ad acuendos juvenes (Problems to Sharpen the Young) is a ninth-century book written by medieval teacher and scholar Alcuin of York. T...

This book brings together contemporary work on relevant logics to showcase the recent progress of the field and set the stage for future research. ...

The main aim of this book is to provide a compact self-contained presentation of the forcing technique devised by Cohen to establish the independen...

Samson Abramskys wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This boo...

First developed in the early 1980s by Lenstra, Lenstra, and Lovász, the LLL algorithm was originally used to provide a polynomial-time algorithm fo...

Developed from the authors courses at Syracuse University and the U.S. Air Force Research Laboratory, Access Control, Security, and Trust: A Logica...

Winner of an Outstanding Academic Title Award from CHOICE MagazineMost available cryptology books primarily focus on either mathematics or history....

Poised to become the leading reference in the field, the Handbook of Finite Fields is exclusively devoted to the theory and applications of finite ...

Once the privilege of a secret few, cryptography is now taught at universities around the world. Introduction to Cryptography with Open-Source Soft...

Once the privilege of a secret few, cryptography is now taught at universities around the world. Introduction to Cryptography with Open-Source Soft...

Once the privilege of a secret few, cryptography is now taught at universities around the world. Introduction to Cryptography with Open-Source Soft...

Once the privilege of a secret few, cryptography is now taught at universities around the world. Introduction to Cryptography with Open-Source Soft...

This text is for academics, postgraduates and upper-level students who want to know more about formal logic. The text assumes some elementary knowl...

Group theoretic problems have propelled scientific achievements across a wide range of fields, including mathematics, physics, chemistry, and the l...

Modelling and Control of Dynamic Spatially Distributed Systems: Pharmaceutical Processes provides a balanced approach to help readers to get starte...

This book presents the essential role of mathematical modelling and computational methods in representing physical phenomena mathematically, focusi...

This book contains surveys and research articles on the state-of-the-art in finitely presented groups for researchers and graduate students. Overvi...

This sixth volume of the book series applies finite injury priority method to R-calculi and obtain (in)completeness theorem for binary-valued, Post...

Very Short Introductions: Brilliant, Sharp, Inspiring Kurt Gödel first published his celebrated theorem, showing that no axiomatization can deter...

Hex: The Full Story is for anyone - hobbyist, professional, student, teacher - who enjoys board games, game theory, discrete math, computing, or hi...