Enviar aquest missatge de text: An algebraic introduction to mathematical logic