You are about to access our book library "A Philosophical Introduction to Higher-order Logics full version" .