Je elementární logika totéž co predikátová logika prvního řádu? Jiří Fiala (1997) Pokroky matematiky, fyziky a astronomie