أرسل هذا في رسالة قصيرة: An algebraic introduction to mathematical logic