TY - GEN A1 - Łoś, Jerzy (1920-1998) PB - nakł. Uniwersytetu Marii Curie-Skłodowskiej KW - logika KW - aksjomatyka T1 - Próba aksjomatyzacji logiki tradycyjnej ER -