Abstract
From Sets and Types to Topology and Analysis
Original language | Undefined/Unknown |
---|---|
Pages (from-to) | 611-612 |
Number of pages | 2 |
Journal | Bulletin of Symbolic Logic |
Volume | 12 |
Publication status | Published - 2006 |
Keywords
- Other mathematical specialities
- Wiskunde en computerwetenschappen
- Wiskunde: algemeen