Foundations without foundationalism a case for second-order logic - Shapiro, Stewart 1951- (Oxford logic guides, 1991)