Reductions of Hilbert's Tenth Problem
✍
Martin Davis and Hilary Putnam
📂
Article
📅
1958
🏛
Association for Symbolic Logic
🌐
English
⚖ 159 KB