Matematická logika - Kvasnička, Vladimír, 1941- (Slovenská technická univerzita, 2006)