On ω-Consistency and a so-Called Axiom o
✍
Review by: Steven Orey
📂
Article
📅
1954
🏛
Association for Symbolic Logic
🌐
English
⚖ 117 KB