Title: Varieties of constructive mathematics
First published: 1987
Subjects: Constructive mathematics, Mathématiques constructives, MATHEMATICS, Infinity, Logic, Konstruktive Mathematik, Mathematische Logik, Sistemas lógicos não clássicos, Matemática construtiva, Logique symbolique et mathématique
LC classification: QA9.56 .B75 1987