A Philosophical Introduction to Higher-order Logics | DealShopping Deutschland