أرسل هذا في رسالة قصيرة: Introduction to mathematical logic; set theory /