## Cumulative Higher-Order Logic as a Foundation for Set Theory

### Cached

### Download Links

- [ftp.tcs.informatik.uni-muenchen.de]
- [math.ucsd.edu]
- DBLP

### Other Repositories/Bibliography

by
Wolfgang Degen
,
Jan Johannsen

Citations: | 3 - 1 self |