Second-order logic and foundations of mathematics (2001)

View PDF

Download Links

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