TY - GEN A1 - Żyliński, Eustachy (1889-1954) PB - nakł. Towarzystwa Naukowego KW - Hilbert, David (1862-1943) KW - formalizacja (matematyka) KW - krytyka i interpretacja T1 - Formalizm Hilberta. Cz. 1, Formalizm H1 ER -