Title: Topos and higher order logic - logic by category theory  ISBN