The Non-Finitizability of Impredicative
β
Hao Wang
π
Article
π
1950
π
National Academy of Sciences
π
English
β 238 KB