أرسل هذا في رسالة قصيرة: Introductory formal logic of mathematics