Interview with a Constructive Mathematician", Modern Logic 6 (1996)

by Fred Richman
Venue:Modern Logic