John L. Bell

Living with the Psalms

Bog | Engelsk

Developed during his teaching ministry around the world, this book is the fruit of a lifetime's engagement with the Psalms. As a broadcaster and writer, John is loved for being entirely genuine and, in the words of Archbishop Justin Welby, 'his co

'Higher-Order Logic and Type Theory'

Bog | Engelsk

This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts with first-order logic. This leads to a discussion of hig