Entscheidungsproblem Reduced to the ∀ ∃
✍
A. S. Kahr, Edward F. Moore and Hao Wang
📂
Article
📅
1962
🏛
National Academy of Sciences
🌐
English
⚖ 468 KB