Aplikovaná matematická logika - Pánková, Václava (VŠE, 1988)