Incompleteness Along Paths in Progressio
โ
S. Feferman and C. Spector
๐
Article
๐
1962
๐
Association for Symbolic Logic
๐
English
โ 317 KB