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