Title: Elements of logic