Logika formalna :  zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki / 
pod red. Witolda Marciszewskiego. 
 - Warszawa :  Państw. Wydaw. Nauk.,  1987. 
 - 472 s. :  il. ; 24 cm. 
<br/><br/><label>Uniwersalna Klasyfikacja Dziesiętna: </label> 164:004:81(03)