Constructivism in Mathematics, Vol 1

These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov''s constructivism and Martin-Lof''s type theory with its operational semantics. A detailed exposition of the basic features of constructive mathematics, with illustrat...