Foundations without foundationalism : a case for second-order logic /
Shapiro, Stewart,1951-
Oxford : Clarendon,
1991.
Bibliography: p263-272. - Includes index