Studies in Logic and the Foundations of Mathematics Public
Created and curated by gesang
-
Constructivism in Mathematics by Dirk van Dalen, A. S. Troelstra (Studies in Logic and the Foundations of Mathematics, #121)
These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics …