Foundations without foundationalism a case for second-order logic

Bibliographic Details
Main Author:	Shapiro, Stewart 1951-
Format:	Book
Published:	Oxford Clarendon Press 1991.
Series:	Oxford logic guides 17
Subjects:	Logic, Symbolic and mathematical.