Mathematical Logic

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