Topological Completeness for Higher-Orde
โ
S. Awodey and C. Butz
๐
Article
๐
2000
๐
Association for Symbolic Logic
๐
English
โ 307 KB