Foundations without foundationalism : a case for second-order logic /
Shapiro, Stewart,1951-
Oxford : Clarendon Press,
2000, c1991.
Includes bibliographical references (p. [263]-272) and index.
Logic, Symbolic and mathematical.