Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki - Marciszewski, Witold (1930- ) (Warszawa : Państ. Wydaw. Naukowe, 1987)
Bibliogr. s. 436-459. - Indeksy.
Keywords: Logika formalna; Logika; Logika; Language and logic; Logic; Informatyka; Językoznawstwo