Intensional mathematics. - Shapiro Stewart Ed. (Oxford North Holland, 1985)