TY - BOOK AU - Borkowski,Ludwik ED - Państwowe Wydawnictwo Naukowe (1951-1992). TI - Logika formalna: systemy logiczne : wstęp do metalogiki PY - 1970/// CY - Warszawa PB - Państwowe Wydawnictwo Naukowe KW - Logika symboliczna i matematyczna KW - kaba N1 - Indeks ER -