TY - BOOK AU - Borkowski,Ludwik TI - Logika formalna: systemy logiczne : wstęp do metalogiki PY - 1977/// CY - Warszawa PB - Państw. Wydaw. Nauk. N1 - bibliogr ER -