Wyślij wiadomość: A tour through mathematical logic