TY  - BOOK
AU  - Štěpán,Jan
TI  - Formální logika
SN  - 8071820040 :
PY  - 1995///
CY  - Olomouc
PB  - Fin
KW  - logika
KW  - formální
KW  - učebnice
KW  - výroková
ER  -