Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki - Marciszewski, Witold (Warszawa : Państwowe Wydawnictwo Naukowe, 1987)
Bibliogr. s. 436-459. - Indeksy.
Keywords: Logika matematyczna