Logika formalna : systemy logiczne : wstęp do matalogiki - Borkowski, Ludwik (Warszawa : Państwowe Wydawnictwo Naukowe, 1977)
Keywords: Logika