Formalizm Hilberta. Cz. 1, Formalizm H1 - Żyliński, Eustachy (1889-1954) (nakł. Towarzystwa Naukowego)
Keywords: Hilbert, David (1862-1943); formalizacja (matematyka); krytyka i interpretacja