Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki - Marciszewski, Witold (1930- ).; Państwowe Wydawnictwo Naukowe (1951-1992). (Warszawa : Państwowe Wydawnictwo Naukowe, 1987)
Bibliografia na stronach 436-459. Indeksy.
Keywords: Logika; Logika symboliczna i matematyczna