Some Impredicative Definitions in the Ax
โ
Review by: Th. Skolem
๐
Article
๐
1951
๐
Association for Symbolic Logic
๐
English
โ 313 KB