Interview with a constructive mathematician. Modern Logic 6 (1996)

by F Richman