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