Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki / pod redakcją Witolda Marciszewskiego. - Marciszewski, Witold (1930- ). (Państwowe Wydawnictwo Naukowe, 1987)