Үүнийг мессежээр илгээх: Logic for mathematicians