What are the basics of mathematical logic? | Intro to Math Structures VS1.1