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