A Direct Proof of the Unsolvability of t
✍
Review by: John G. Kemeny
📂
Article
📅
1959
🏛
Association for Symbolic Logic
🌐
English
⚖ 129 KB