Laster...

A Philosophical Introduction to Higher-order Logics av Andrew Bacon - Nelo