Bizonyítások és cáfolatok. A matematikai felfedezés logikája. - LAKATOS, I. (1981)
Záznam neprešiel kontrolou