Ostasiewicz, Walenty.
Logika dla informatyków / Walenty Ostasiewicz.
Wyd. 4 uzup.
Wrocław : Wydaw. AE, 2006.
- 191 s.: schem.; 24 cm.
Bibliogr. s. 189-[190]
ISBN 83-7011-778-3
Etyka
Filozofia
informatyka
Logika
logika nieklasyczna
logika w informatyce
rachunek predykatów
rachunek rezolucyjny
rachunek zdań
G.27103