Mathematical logic grew out of philosophical questions regarding the foundations of mathematics, but logic has now outgrown its philosophical roots, and has bec

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

Classic undergraduate text acquaints students with fundamental concepts and methods of mathematics. Topics include axiomatic method, set theory, infinite sets,

This volume commemorates the life, work and foundational views of Kurt Gödel (1906–78), most famous for his hallmark works on the completeness of first-order

Presents a detailed and critical examination of the available conceptions of set and proposes a novel version.