Logika pro studenty humanitních oborů - Sousedík, Prokop (Vyšehrad, 2001)