أرسل هذا في رسالة قصيرة: New Methods in symbolic logic/