A Manual of Intensional Logic - sidottu, Englanti, 1988