Ostasiewicz, Walenty.

    Logika dla informatyków / Walenty Ostasiewicz.
    Wrocław : Wydaw. AE, 1998. - 128 s.: tab.; 24 cm.
    (Skrypty Akademii Ekonomicznej we Wrocławiu)
 
Bibliogr. s. 127-128
    ISBN 83-7011-352-4

rachunek zdań
rachunek predykatów
rachunek rezolucyjny
logika nieklasyczna
logika w informatyce
logika
informatyka