TY  - BOOK
A2  - Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka.
A3  - Hałkowska, Katarzyna
A3  - Piróg-Rzepecka, Krystyna
AU  - Słupecki, Jerzy
ET  - Wyd. 2 popr. i uzup.
KW  - Logika symboliczna i matematyczna
NV  - 329, [2] s. :
PY  - 1999
SN  - 8301129581
TI  - Logika matematyczna /
ER  -