Mark van Atten, « Natural constructive proofs of A via A → B, proof paradoxes, and impredicativity », HAL-SHS : histoire, philosophie et sociologie des sciences et des techniques, ID : 10670/1.bd1s4s
Guided by a passage in Kreisel, this is a discussion of the relations between the phenomena in the title, with special attention to the method of analysis and synthesis in Greek geometry, Lawvere's Fixed Point theorem, and Kreisel's contact with Gödel.