Mathematical logic

Employs basic mathematical skills to teach students how to address topical, real-world problems using quantitative reasoning.

Employs basic mathematical skills to teach students how to address topical, real-world problems using quantitative reasoning.

Offers a self-contained work presenting basic ideas, classical results, current state of the art and possible future directions in proof complexity.

Presents a new framework for the complexity of algorithms, for all readers interested in the theory of computation.

This groundbreaking, yet accessible book explores the interaction between graph theory and computational complexity using methods from finite model theory.

This groundbreaking, yet accessible book explores the interaction between graph theory and computational complexity using methods from finite model theory.

A reference book discussing applications of formal language theory to group theory, particularly geometric and computational group theory.

A reference book discussing applications of formal language theory to group theory, particularly geometric and computational group theory.

Hacking explores how mathematics became possible for the human race, and how it ensured our status as the dominant species.

Hacking explores how mathematics became possible for the human race, and how it ensured our status as the dominant species.

A comprehensive introduction to eight major approaches to computation on uncountable mathematical domains.

The second edition of an accessible yet technically sound treatment of modal logic and its philosophical applications.

The second edition of an accessible yet technically sound treatment of modal logic and its philosophical applications.

A comprehensive introduction to eight major approaches to computation on uncountable mathematical domains.

This comprehensive overview of lattice sums is long overdue for a topic that is important in diverse areas of science.

This comprehensive overview of lattice sums is long overdue for a topic that is important in diverse areas of science.

Containing never-before-published material, this fascinating account sheds new light on one of the greatest figures of the twentieth century.

This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.

This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.

A modern, comprehensive 2010 overview providing an easy introduction for applied scientists who are not versed in mathematics.

First of two volumes providing a comprehensive guide to mathematical logic.

In this book the general theory of stable groups is developed from the beginning.

Presents those methods of modern set theory most applicable to other areas of pure mathematics.

Computability and Logic is a classic because of its accessibility to students without a mathematical background.

A comprehensive account that gives equal attention to the combinatorial, logical and applied aspects of partially ordered sets.

This book clearly introduces the major topics in logic and their relation to current philosophical issues.

This text is the fifth and final in the series of educational books written by Israel Gelfand with his colleagues for high school students.

Explores the recent spectacular applications of point-counting in o-minimal structures to functional transcendence and diophantine geometry.

First of two volumes presenting the state of the art in the classification of binary homogeneous structures and related problems.

The second of two volumes presenting the state of the art in the classification of binary homogeneous structures and related problems.

Introduces the universal-algebraic approach to classifying the computational complexity of constraint satisfaction problems.

Introduces an original approach to foundations of mathematics, departing from Gödel and Tarski and spanning many different areas of logic.

The Payment Card Industry Data Security Standard (PCI DSS) is now in its 18th year, and it is continuing to dominate corporate security budgets and resources.

The Payment Card Industry Data Security Standard (PCI DSS) is now in its 18th year, and it is continuing to dominate corporate security budgets and resources.

This book seamlessly connects the topics of Industry 4.

This book seamlessly connects the topics of Industry 4.

Starting with the historical evolution of computer and communications networks and their security, the book then arrives at the main definitions of cryptography and network security.

Starting with the historical evolution of computer and communications networks and their security, the book then arrives at the main definitions of cryptography and network security.

Mechanizing hypothesis formation is an approach to exploratory data analysis.

Mechanizing hypothesis formation is an approach to exploratory data analysis.

Computer users have a significant impact on the security of their computer and personal information as a result of the actions they perform (or do not perform).

Originally published in 1934.

Originally published in 1937.

Originally published in 1931.

Originally published in 1966.

Originally published in 1962.

Originally published in 1973.

Originally published in 1965.

Originally published in 1966.

Originally published in 1934.