The book contains basic logic (propositional and monadic first order logic) and basic set theory that are required from applicants for university studies in humanities.