From truth to proof (Univ. Karlova, Filozofická Fak., Katedra Logiky, 2006)