Intensional mathematics - Shapiro Stewart (Amsterdam North-Holland, 1985)
Keywords: Mathematical logic