Reductions of Hilbert's Tenth Problem
β
Martin Davis and Hilary Putnam
π
Article
π
1958
π
Association for Symbolic Logic
π
English
β 159 KB