أرسل هذا في رسالة قصيرة: Introduction to higher order categorical logic