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