Dokazatel'stva i oproverženija : kak dokazyvajutsja teoremy - Lakatos, Imre, 1922-1974 (Nauka, 1967)