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

This 2001 book will appeal to mathematicians and philosophers interested in the foundations of mathematics.

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

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,