Matematická logika - Kvasnička, Vladimír, 1941-; Pospíchal, Jiří, 1961- (STU v Bratislave FIIT, 2006)