This book brings together philosophers, mathematicians and logicians to explore important problems in the philosophy and foundations of mathematics. Contrasts classical logic and set theory with predicativistic constructivism based on Martin-Lof type theory.