TY  - BOOK
A2  - ed. Cecylia Rauszer.
A3  - Rauszer, Cecylia
KW  - Informatyka
Logika algebraiczna
NV  - 342 s. :
PY  - 1993
SN  - 8385116923
TI  - Algebraic methods in logic and in computer science /
VL  - vol. 28
ER  -