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