Anne S. Troelstra | Bookhype

Constructivism in Mathematics

Cover of Constructivism in Mathematics Vol.2

Book #2: Constructivism in Mathematics Vol.2

Lecture Notes in Mathematics

Cover of Principles of Intuitionism

Book #95: Principles of Intuitionism

Lecture Notes in Mathematics, 346

Cover of Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Book #344: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis