A Manual of Intensional Logic by