A Philosophical Introduction to Higher Order Logics

0粉丝
This is the first comprehensive textbook on higher order logic that is writ