A Philosophical Introduction to Higher-order Logics:

Andrew Bacon

A Philosophical Introduction to Higher-order Logics: - Taylor and Francis 2023

9781003039181

EBOOK