Ostasiewicz, Walenty.

    Logika dla informatyków / Walenty Ostasiewicz. Wyd. 3 popr.

    Wrocław : Wydaw. AE, 2005. - 187 s.: schem.; 24 cm.
    (Skrypty Akademii Ekonomicznej we Wrocławiu)
 
Bibliogr. s. 185-[186]
    ISBN 83-7011-736-8

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