Journal of Symbolic Logic 56 (3):1089-1090 (1991)
AbstractReviewed Works:Andrew Hodges, Rolf Herken, Alan Turing and the Turing Machine.Stephen C. Kleene, Turing's Analysis of Computability, and Major Applications of it.Robin Gandy, The Confluence of Ideas in 1936.Solomon Feferman, Turing in the Land of O.Martin Davis, Esther R. Phillips, Mathematical Logic and the Origin of Modern Computers
Similar books and articles
Review of J. Cummings, A Model in Which GCH Holds at Successors but Fails at Limits; Strong Ultrapowers and Long Core Models; Coherent Sequences Versus Radin Sequences; and J. Cummings, M. Foreman, and M. Magidor, Squares, Scales and Stationary Reflection. [REVIEW]Arthur W. Apter - 2002 - Bulletin of Symbolic Logic 8 (4):550-552.
Gautama Buddha.Iqbal Singh - 2004 - In Matthew Kapstein, S. Radhakrishnan, Iqbal Singh & Arvind Sharma (eds.), The Buddhism Omnibus. Oxford University Press.
Management and Ethics Omnibus: Management by Values, Ethics in Management, Values and Ethics for Organizations.S. K. Chakraborty - 2001 - Oxford University Press India.
Added to PP
Historical graph of downloads
Citations of this work
Effective Categoricity of Equivalence Structures.Wesley Calvert, Douglas Cenzer, Valentina Harizanov & Andrei Morozov - 2006 - Annals of Pure and Applied Logic 141 (1):61-78.
Intrinsic, Extrinsic, and the Constitutive A Priori.László E. Szabó - 2019 - Foundations of Physics:1-13.
Bourdieu’s Theorization of Social Capital in the Analysis of South-East European Societies.Mirko Petric & Inga Tomic-Koludrovic - 2021 - Filozofija I Društvo 32 (4):538-566.
References found in this work
No references found.