Varieties of Constructive Mathematics
1987 • 164 pages