| Constitutional Essentials |
Frank Michelman |
Dennis Martin Davis |
Philosophy & Social Criticism |
2024-08-08 |
| Transformational Ethics of Film: Thinking the Cinemakeover in the Film-Philosophy Debate |
Martin P Rossouw |
Colin Davis |
Film-Philosophy |
2023-10-01 |
| Il calcolatore universale: Da Leibniz a Turing |
Martin Davis |
Massimo Mariani |
Alpha Omega |
2013-01-01 |
| Individuals and Identity in Economics |
John B Davis |
Martin Hoffmann |
Zeitschrift für philosophische Forschung |
2012-01-01 |
| Martin Heidegger: Key Concepts |
Bret W. Davis |
Dominic Kelly |
Journal of the British Society for Phenomenology |
2011-01-01 |
| Martin Heidegger: Key Concepts |
Bret W Davis |
Ted George |
Comparative & Continental Philosophy |
2010-11-01 |
| Martin Heidegger: Key Concepts |
Bret W. Davis |
Lee Braver |
Notre Dame Philosophical Reviews |
2010-03-13 |
| Super-Recursive Algorithms |
Mark Burgin |
Martin Davis |
The Bulletin of Symbolic Logic |
2007-06-01 |
| Plato's Reception of Parmenides |
Martin Heidegger |
Tom Davis |
International Studies in Philosophy |
2004-01-01 |
| Engines of Logic. Mathematicians and the Origin of the Computer |
Martin Davis |
Jesus M Larrazabal |
Gogoa: Euskal Herriko Unibertsitateko Hizkuntza, Ezagutza, Komunikazio eta Ekintzari buruzko Aldizkaria |
2003-04-01 |
| La computadora universal: De Leibniz a Turing |
Martin Davis |
María del Rosario Hernández Borges |
Laguna: Revista de Filosofía |
2003-01-01 |
| Profession, Code and Ethics |
Michael Davis |
Mike W Martin |
International Journal of Applied Philosophy |
2002-09-01 |
| Engines of Logic. Mathematicians and the Origin of the Computer |
Martin Davis |
John W. Dawson |
The Bulletin of Symbolic Logic |
2002-03-00 |
| The Universal Computer. The Road from Leibniz to Turing |
Martin Davis |
John W. Dawson |
The Bulletin of Symbolic Logic |
2001-03-00 |
| Hölderlin's Hymn "The Ister" Martin Heidegger William McNeill Julia Davis |
Martin Heidegger |
Angela Franz |
The Review of Metaphysics |
1998-03-00 |
| Nietzsche and Schiller: Untimely Aesthetics |
Nicholas Martin |
Christa Davis Acampora |
Philosophy in Review |
1998-01-01 |
| Solvability, provability, definability: the collected works of Emil L. Post |
Davis Martin, Contemporary mathematicians |
H. B. Enderton |
The Journal of Symbolic Logic |
1997 |
| Hilbert's tenth problem. English translation of Desyataya problema Gil'berta, with a foreword by Martin Davis |
Yuri V. Matiyasevich |
C. Dimitracopoulos |
The Journal of Symbolic Logic |
1997 |
| Computability, complexity, and languages. Fundamentals of theoretical computer science. Second edition of LII 293. Computer science and scientific computing |
Martin D Davis |
H. B. Enderton |
The Journal of Symbolic Logic |
1996 |
| Mechanical intelligence, Collected works of A. M. Turing |
D. C. Ince |
Martin Davis |
The Journal of Symbolic Logic |
1993 |
| Computability theory, semantics, and logic programming |
Melvin Fitting |
Martin Davis |
Notre Dame Journal of Formal Logic |
1990-06-01 |
| Collected Works, V1: Publications 1929-1936 |
Kurt Gödel |
Martin Davis |
The Journal of Symbolic Logic |
1990-03-01 |
| Kurt Gödel. Eine Eigenschaft der Realisierungen des Aussagenkalküls (1932c). A reprint of 4189. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Review of Hahn's Reelle Funktionen. by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| John W. Dawson Jr. A Gödel chronology. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Über die Vollständigkeit des Logikkalküls (1929). Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Solomon Feferman. Gödel's life and work. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Zum intuitionistische Aussagenkalkül (1932). A reprint of 4186. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Review of Hilbert's Die Grundlegung der elementaren Zahlentheorie (10818). Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Eine Interpretation des intuitionistischen Aussagenkalküls (1933f). A reprint of 41812. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Zur intuitionistischen Arithmetik und Zahlentheorie (1933e). A reprint of 41811. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Einige metamathematische Resultate über Entscheidunasdefinitheit und Widerspruchsfreiheit (1930b). A reprint of 4181. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Über die Länge von Beweisen (1936a). A reprint of I 116. Reelle Funktionen, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Über Unabhängigkeitsbeweise im Aussagenkalküls (1933a). A reprint of 41810. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Comparability, complexity, and languages. Fundamentals of theoretical computer science |
Martin D. Davis and Elaine J. Weyuker |
Wolfgang Maass |
The Journal of Symbolic Logic |
1987 |
| Nonstandard Analysis and Philosophy, v2 |
W A J Luxemburg |
Martin Davis |
The Journal of Symbolic Logic |
1982-03-01 |
| Volume 2. Nonstandard analysis and philosophy. Edited and with an introduction by W. A. J. Luxemburg and S. Körner |
Selected papers of Abraham Robinson |
Martin Davis |
The Journal of Symbolic Logic |
1982 |
| Applied nonstandard analysis. Pure and applied mathematics |
Martin Davis |
Lawrence D. Kugler |
The Journal of Symbolic Logic |
1978 |
| John Myhill. Finitely representable functions. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
Martin Davis |
The Journal of Symbolic Logic |
1973 |
| The Methodological Heritage of Newton Robert E. Butts John W. Davis |
Robert E. Butts |
R. Niall D. Martin |
Philosophy |
1971-10-00 |
| Martin Davis |
|
A. H. Lightstone |
The Journal of Symbolic Logic |
1970 |
| Martin Davis |
|
A. H. Lightstone |
The Journal of Symbolic Logic |
1970 |
| Unsolvable problems: a review |
Martin Davis |
Mary Katherine Yntema |
The Journal of Symbolic Logic |
1968-07-23 |
| A. Robinson. A basis for the mechanization of the theory of equations. Computer programming and formal systems |
P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics |
Martin Davis |
The Journal of Symbolic Logic |
1968-04-26 |
| E. W. Beth. Observations concerning computing, deduction, and heuristics. Computer programming and formal systems |
P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics |
Martin Davis |
The Journal of Symbolic Logic |
1968-04-26 |
| A basis for a mathematical theory of computation, preliminary report. Proceedings of the Western Joint Computer Conference, Papers presented at the Joint IRE-AIEE-ACM Computer Conference, Los Angeles, Calif., May 9–11, 1961, Western Joint Computer Conference |
Zohar Manna |
Martin Davis |
The Journal of Symbolic Logic |
1968-04-26 |
| Martin Davis |
|
Stefan Bauer-Mengelberg |
The Journal of Symbolic Logic |
1966-09-02 |
| A program for Presburger's algorithm |
Martin Davis |
D. A. Clarke |
The Journal of Symbolic Logic |
1966 |
| Preface |
Alfred Tarski |
Martin Davis |
The Journal of Symbolic Logic |
1959 |
| The Elements of Mathematical Logic |
Paul C. Rosenbloom |
Martin Davis |
The Journal of Symbolic Logic |
1953 |
