Results Concerning the Decision Problem
✍
Sören Halldén
📂
Article
📅
1950
🏛
Association for Symbolic Logic
🌐
English
⚖ 762 KB