Matematická logika - Kvasnička, Vladimír, 1941- (Edícia vysokoškolských učebníc, 2006)