A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| Davies, Peter Charles, Small Baire Spaces and $\sigma$-Dense Partial Orders (1979) |
| Davis, Martin, A Note on Universal Turing Machines |
| Davis, Martin, Relatively Recursive Functions and the Extended Kleene Hierarchy (1950) |
| Davis, Martin, Computable functionals of arbitrary finite type (1957) |
| Davis, Martin, Computability and Unsolvability (1958) |
| Davis, Martin, Computability and Unsolvability (1958) |
| Davis, Martin, Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem (1961) |
| Davis, Martin, Review for Philosophia Mathematica (1997) |
| Davis, Martin, Engines of Logic (2000) |
| Davis, Martin, The Universal Computer (2000) |