TY  - BOOK
AU  - BEN-ARI,M.
AU  - MIŁKOWSKA,Mirosława
TI  - Logika matematyczna w informatyce
T2  - Klasyka Informatyki
SN  - 8320432219
PY  - 2006///
CY  - Warszawa
PB  - Wydawnictwa Naukowo-Techniczne
KW  - Logika matematyczna
KW  - Podręczniki akademickie
N1  - Tyt. oryg.: "Mathematical logic for computer science", 2001; Bibliogr. s. 333-335. Indeks
UR  - http://koha.tu.koszalin.pl/cgi-bin/koha/opac-detail.pl?biblionumber=52574
ER  -