TY  - BOOK
AU  - Baeten J C M
TI  - Filters and unfilters over definable subsets of admissible ordinals
SN  - 90-6196-301-X
U1  - 511.3 
CY  - Amsterdam
PB  - Centre for Mathematics and Computer Science
KW  - Mathematical analysis
KW  - Mathematical logic
ER  -