The Work
On Motivating Higher-Order Logic
The details
The Author
David Bostock
The offers