剧情简介：This is the first comprehensive textbook on higher order logic that is written specifically to introduce the subject matter to graduate students in philosophy. The book covers both the formal aspects of higher-order languages — their model theory and proof theory, the theory of λ-abstraction and its generalizations — and their philosophical applications, especially to the topic...(展开全部)
作者：Andrew Bacon
出版社：Routledge
ISBN：9780367483012
