TY - BOOK AU - Shapiro, Stewart, TI - Foundations without foundationalism : a case for second-order logic PY - 1991/// CY - Oxford PB - Clarendon Press ER -