Second-order logic and foundations of mathematics (2001)

Cached

Download Links

by Jouko Väänänen
Venue:The Bulletin of Symbolic Logic
Citations:18 - 3 self