This modern introduction to the foundations of logic and mathematics not only takes theory into account, but also treats in some detail applications that have a

The Logical Foundations of Mathematics offers a study of the foundations of mathematics, stressing comparisons between and critical analyses of the major non-co

The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Fou

Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers

Philosophical Approaches to the Foundations of Logic and Mathematics consists of eleven articles addressing various aspects of the "roots" of logic and mathemat