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 - teoria dowodu KW - logika starożytna KW - logika matematyczna nieklasyczna T1 - Teorja dowodu. T. 1 ER -