أرسل هذا في رسالة قصيرة: Mathematical logic and formal systemss: a collection of