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