TY  - BOOK
A2  - Mordechai Ben-Ari ; z ang. przeł. Mirosława Miłkowska.
A3  - Miłkowska, Mirosława.
AU  - Ben-Ari, Mordechai
ET  - Wyd. 2.
KW  - Logika symboliczna i matematyczna
Informatyka matematyka
NV  - XIII, [1], 343, [1] s. :
PY  - 2006
SN  - 8320432219
TI  - Logika matematyczna w informatyce /
ER  -