A Generalization of the Notion of ω-Cons
✍
Review by: W. W. Tait
📂
Article
📅
1958
🏛
Association for Symbolic Logic
🌐
English
⚖ 210 KB