Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki / / pod red. Witolda Marciszewskiego.
    Wwa : Państ. Wydaw. Naukowe, 1987. 472 s. : rys., err. ; 25 cm.
    ISBN 83-01-04998-7


Logika matematyczna

   
K.95509        UKD: 164(03)