The Non-Finitizability of Impredicative
โ
Review by: J. Barkley Rosser
๐
Article
๐
1951
๐
Association for Symbolic Logic
๐
English
โ 292 KB