Some Impredicative Definitions in the Ax
✍
Review by: Th. Skolem
📂
Article
📅
1951
🏛
Association for Symbolic Logic
🌐
English
⚖ 313 KB