Logika formalna: zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki (Państ. Wydaw. Naukowe, 1987)
pod red. Witolda Marciszewskiego.
Keywords: Logika formalna; Logika