A Philosophical Introduction to Higher-order Logics

Andrew Bacon

Bog | Engelsk

Beskrivelse

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 languagestheir model theory and proof t…