Second-order logic and foundations of mathematics (2001)

by J A Väänänen
Venue:Bulletin of Symbolic Logic