Matematická logika - Čulík, K. (rz1, 1973)