TY - GEN AU - Karel Engliš TI - Malá logika PY - 2018 PB - UR - ER -