Pošalji SMS: Introductory formal logic of mathematics.