SMS dit: Introductory formal logic of mathematics