Intensional mathematics - Shapiro, Stewart, 1951- (Studies in logic and the foundations of mathematics, 1985)