Edwards, Harald M.

Essays in Constructive Mathematics - New York Oxford Springer 2005

0-387-21978-1