TY - GEN A1 - Sleszyński, Jan (1854-1931) A2 - Zaremba, Stanisław Krystyn (1903-1990). Oprac. PB - nakł. Kółka Matematyczno-Fizycznego U. U. J. KW - logika matematyczna nieklasyczna KW - teoria dowodu T1 - Teorja dowodu. T. 2 ER -