## Second-order logic and foundations of mathematics (2001)

### Cached

### Download Links

- [www.math.helsinki.fi]
- [www.logic.math.helsinki.fi]
- DBLP

### Other Repositories/Bibliography

by
Jouko Väänänen

Venue: | The Bulletin of Symbolic Logic |

Citations: | 17 - 3 self |