Logické systémy - cvičení

Kubátová, H., Blažek, Z.

KUBÁTOVÁ, H. a Z. BLAŽEK. Logické systémy - cvičení. Praha: České vysoké učení technické v Praze, 1995. ISBN 80-01-01227-1.