Proofs and refutations: the logic of mathematical discovery

Zotero

p. 47