This is an illustrated basic course in mathematical logic. We invite everyone who wants to be creative in mathematics and programming. Enrol now and get started! We present a course developed by the team of Tomsk State University of Control Systems and Radioelectronics. This course offers basic knowledge in mathematical logic.