TY  - BOOK
A2  - Marcin Mostowski.
AU  - Mostowski, Marcin
KW  - Logika symboliczna i matematyczna.
NV  - 88 s. ;
PY  - 1991
TI  - Branched quantifiers /
VL  - 410
ER  -