Shapiro, Stewart, <br/><br/>
Foundations without foundationalism : a case for second-order logic 
Stewart, Shapiro 
 - Oxford  Clarendon Press  1991