Mathematical Foundations

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

Anything is possible even building a better relationship with math! This is much more than a book about math. This is a book about hope. Imagine...

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

This book focuses on cutting-edge innovations and core theories, principles, and algorithms applicable to a wide area. Real-life applications, case...

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

Introduction to Mathematical Proofs helps students develop the necessary skills to write clear, correct, and concise proofs.Unlike similar textbook...

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

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. ...

A Classroom-Tested, Alternative Approach to Teaching Math for Liberal Arts Puzzles, Paradoxes, and Problem Solving: An Introduction to Mathematical...

Winner of a CHOICE Outstanding Academic Title Award for 2011!This book offers an introduction to modern ideas about infinity and their implications...

The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It...

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

Reflecting many of the recent advances and trends in this area, Discrete Structures with Contemporary Applications covers the core topics in discre...

Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Fu...

Strange Functions in Real Analysis, Third Edition differs from the previous editions in that it includes five new chapters as well as two appendice...

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