Diophantine Representation of Enumerable
✍
Review by: Martin Davis
📂
Article
📅
1974
🏛
Association for Symbolic Logic
🌐
English
⚖ 104 KB