Pošalji tekstualnu poruku: A tour through mathematical logic