[1] Fiala, J.: Je elementární logika totéž co logika 1. řádu?. Pokroky mat. fyz. astr. 42 (1997), 127–133.

[2] Hájek, P., Sochor, A.: Klasická logika v kontextu svých zobecnění a boj docenta Fialy proti větrným mlýnům. Pokroky mat. fyz. astr. 43 (1998), 39–45.

[3] Hintikka, J.: Language, Truth and Logic in Mathematics. Kluwer 1998. MR 1603112 | Zbl 0894.03001

[4] Peregrin, J.: Co je elementární logika?. Pokroky mat. fyz. astr. 43 (1998), 45–47.

[5] Feferman, S.: Transfinite recursive progressions of axiomatic theories. Journal Symb. Logic 27 (1962), 259–316. MR 0172792

[6] Feferman, S.: Gödel’s program for new axioms: why, where, how and what?. In: Gödel ’96, Lect. Notes in Logic, vol. 6, Springer-Verlag 1996, 3–22. MR 1441099 | Zbl 0857.03034