Intensionality - Kahle, Reinhard, (Lecture Notes in Logic ;, 2005)