Gone
Requested document Constructive mathematics and program synthesis(LOGIC AND THE FOUNDATIONS OF MATHEMATICS) is not existed or removed