Pošalji tekstualnu poruku: An algebraic introduction to mathematical logic