его же, О логике конструктивной математики

http://libmeta.ru/resource/mathenc/publication/p11770