A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.

I WILL NOT SING ALONE is a deliberately eclectic collection of words and music from different ages fused in contemporary arrangements. There are ancient texts and modern texts, simple and sophisticated. There are choral anthems, folk tunes and contemporary syncopated melodies. The songs include, exclamations of praise, meditative reflections on the love of God, and laments for the loss of a child and for countries at war. These are songs of faith which are intended for everybody: Not a high octane choral album or a selection of psuedo-celtic escapist ditties, but songs of engagement with life and with God, all grounded in the passion and pain of Christian love.

This text introduces topos theory, a development in category theory that unites important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic logic. Topics include local set theories, fundamental properties of toposes, sheaves, local-valued sets, and natural and real numbers in local set theories. 1988 edition.