Title: A Manual of Intensional Logic