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