海量图书期刊资源,随时随地畅享阅读乐趣
Elementary Logic of Science and Mathematics.by P. H. NidditchReview by: Steven Orey · Journal of the American Statistical Association · 1961
General Recursive Functionsby Julia RobinsonReview by: Martin Davis · The Journal of Symbolic Logic · 1951
Undecidable Theoriesby Alfred TarskiReview by: Martin Davis · The Journal of Symbolic Logic · 1959
Paradoxes in ParadiseReview by: Martin Davis · American Scientist · 2003
Enumerability, Decidability, Computabilityby H. HermesReview by: Martin Davis · Mathematics of Computation · 1967
Touring TuringReview by: Martin Davis · American Scientist · 2008
Ahead of His TimeReview by: Martin Davis · American Scientist · 2006
Overheard in the ParkReview by: Martin Davis · American Scientist · 2000
The Man Who Defined TruthReview by: Martin Davis · American Scientist · 2005
Front MatterThe American Mathematical Monthly · 2011
Front MatterThe American Mathematical Monthly · 2012
The Mathematics of DoodlingRavi Vakil · The American Mathematical Monthly · 2011
What Does the Spectral Theorem Say?P. R. Halmos · The American Mathematical Monthly · 1963
Hilbert's Tenth Problem is UnsolvableMartin Davis · The American Mathematical Monthly · 1973
The Transcendence of πIvan Niven · The American Mathematical Monthly · 1939
The D'Alembert Functional EquationF. J. Papp · The American Mathematical Monthly · 1985
Most Monotone Functions are SingularTudor Zamfirescu · The American Mathematical Monthly · 1981