55 found
Sort by:
  1. R. Epstein & H. B. Enderton (2007). REVIEWS-Classical Mathematical Logic. Bulletin of Symbolic Logic 13 (4).
     
    My bibliography  
     
    Export citation  
  2. H. B. Enderton (2002). Review: Anita Burdman Feferman, From Trotsky to Godel. The Life of Jean van Heijenoort. [REVIEW] Bulletin of Symbolic Logic 8 (1):104-104.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. A. Feferman & H. B. Enderton (2002). REVIEWS-From Trotsky to Godel. Bulletin of Symbolic Logic 8 (1):104-104.
     
    My bibliography  
     
    Export citation  
  4. H. B. Enderton (1999). Goldstern Martin and Judah Haim, The Incompleteness Phenomenon, A New Course in Mathematical Logic, AK Peters, Wellesley, Mass., 1995, Xiii+ 247 Pp. [REVIEW] Journal of Symbolic Logic 64 (3):1367-1368.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. H. B. Enderton (1999). Review: Patrick Suppes, Introduction to Logic. [REVIEW] Journal of Symbolic Logic 64 (3):1368-1368.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. H. B. Enderton (1999). Review: Richard H. Popkin, The Columbia History of Western Philosophy. [REVIEW] Journal of Symbolic Logic 64 (1):396-396.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. H. B. Enderton (1998). Alonzo Church and the Reviews. Bulletin of Symbolic Logic 4 (2):172-180.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  8. H. B. Enderton (1997). Review: Martin Davis, Solvability, Provability, Definability: The Collected Works of Emil L. Post. [REVIEW] Journal of Symbolic Logic 62 (3):1046-1048.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. H. B. Enderton (1996). Davis Martin D., Sigal Ron, and Weyuker Elaine J.. Computability, Complexity, and Languages. Fundamentals of Theoretical Computer Science. Of LII 293. Computer Science and Scientific Computing. Academic Press, Boston, San Diego, New York, Etc., 1994, Xix+ 609 Pp. [REVIEW] Journal of Symbolic Logic 61 (2):703-704.
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. H. B. Enderton (1996). Review: Martin D. Davis, Ron Sigal, Elaine J. Weyuker, Computability, Complexity, and Languages. Fundamentals of Theoretical Computer Science. [REVIEW] Journal of Symbolic Logic 61 (2):703-704.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. H. B. Enderton (1995). In Memoriam: Alonzo Church, 1903-1995. Bulletin of Symbolic Logic 1 (4):486-488.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  12. H. B. Enderton (1995). Review: Vladimir A. Uspensky, Godel's Incompleteness Theorem. [REVIEW] Journal of Symbolic Logic 60 (4):1320-1320.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. H. B. Enderton (1994). Review: Keith Devlin, The Joy of Sets. Fundamentals of Contemporary Set Theory. [REVIEW] Journal of Symbolic Logic 59 (4):1441-1442.
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. H. B. Enderton (1993). Feferman Anita Burdman. Politics, Logic, and Love. The Life of Jean van Heijenoort. Jones and Bartlett Publishers, Boston and London, and AK Peters, Wellesley, Mass., 1993, Xv+ 415 Pp. Feferman Solomon. Jean van Heijenoort's Scholarly Work, 1948–1986. Therein, Pp. 371–390. [REVIEW] Journal of Symbolic Logic 58 (4):1465-1466.
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. H. B. Enderton (1993). Review: Anita Burdman Feferman, Politics, Logic, and Love. The Life of Jean van Heijenoort; Solomon Feferman, Jean van Heijenoort's Scholarly Work, 1948-1986. [REVIEW] Journal of Symbolic Logic 58 (4):1465-1466.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. H. B. Enderton (1993). Review: Andreas Blass, Near Coherence of Filters, I: Cofinal Equivalence of Models of Arithmetic. [REVIEW] Journal of Symbolic Logic 58 (1):350-350.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. H. B. Enderton (1990). Cumulative Index: Volumes 27-55. Journal of Symbolic Logic 55 (4):1329.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. H. B. Enderton (1990). Review: L. A. Harrington, M. D. Morley, A. Scedrov, S. G. Simpson, Introduction. [REVIEW] Journal of Symbolic Logic 55 (2):867-868.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. H. B. Enderton (1989). Hodges Wilfrid. Elementary Predicate Logic. Handbook of Philosophical Logic, Volume I, Elements of Classical Logic, Edited by Gabbay D. And Guenthner F., Synthese Library, Vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, Pp. 1–131. [REVIEW] Journal of Symbolic Logic 54 (3):1089-1090.
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. H. B. Enderton (1989). Review: Wilfrid Hodges, D. Gabbay, F. Guenthner, Elementary Predicate Logic. [REVIEW] Journal of Symbolic Logic 54 (3):1089-1090.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. H. B. Enderton (1987). Review: Martin Davis, Computability & Unsolvability; Martin Davis, Hilbert's Tenth Problem is Unsolvable. [REVIEW] Journal of Symbolic Logic 52 (1):294-294.
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. H. B. Enderton (1987). Review: Nigel Cutland, Computability. An Introduction to Recursive Function Theory. [REVIEW] Journal of Symbolic Logic 52 (1):292-293.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. J. W. Addison & H. B. Enderton (1984). Meeting of the Association for Symbolic Logic: Berkeley, 1983. Journal of Symbolic Logic 49 (1):322-326.
  24. H. B. Enderton (1980). Review: J. Barkley Rosser, Logic for Mathematicians. [REVIEW] Journal of Symbolic Logic 45 (3):631-632.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. H. B. Enderton (1976). Review: Dennis Sentilles, A Bridge to Advanced Mathematics. [REVIEW] Journal of Symbolic Logic 41 (3):699-700.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. H. B. Enderton (1976). Review: H. C. Torng, Introduction to the Logical Design of Switching Systems; Basil Zacharov, Digital Systems Logic and Circuits; Ray Ryan, Basic Digital Electronics--Understanding Number Systems, Boolean Algebra, & Logic Circuits. [REVIEW] Journal of Symbolic Logic 41 (2):549-550.
    Direct download  
     
    My bibliography  
     
    Export citation  
  27. H. B. Enderton (1976). Review: Isaac Levi, Gambling with Truth. An Essay on Induction and the Aims of Science. [REVIEW] Journal of Symbolic Logic 41 (4):791-791.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. H. B. Enderton (1975). Review: E. G. K. Lopez-Escobar, A Non-Interpolation Theorem. [REVIEW] Journal of Symbolic Logic 40 (3):457-458.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. H. B. Enderton (1975). Review: F. D. Parker, Boolean Matrices and Logic; Hugh G. Campbell, Linear Algebra with Applications Including Linear Programming. [REVIEW] Journal of Symbolic Logic 40 (4):614-615.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30. H. B. Enderton (1975). Review: K. Kuratowski, A. Mostowski, M. Maczynski, Set Theory. [REVIEW] Journal of Symbolic Logic 40 (4):629-630.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. H. B. Enderton (1975). Review: Shen Lin, Tibor Rado, Computer Studies of Turing Machine Problems; Allen H. Brady, The Conjectured Highest Scoring Machines for Rado's $Sum(K)$ for the Value $K = 4$; Milton W. Green, A Lower Bound on Rado's Sigma Function for Binary Turing Machines. [REVIEW] Journal of Symbolic Logic 40 (4):617-617.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. H. B. Enderton (1974). Review: Morton L. Schagrin, The Language of Logic. A Programed Text. [REVIEW] Journal of Symbolic Logic 39 (3):612-612.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. H. B. Enderton (1973). Review: Richard L. Poss, A Note on a Lemma of J. W. Addison. [REVIEW] Journal of Symbolic Logic 38 (2):334-334.
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. H. B. Enderton (1973). Review: Stephen Cole Kleene, Introduction to Metamathematics. [REVIEW] Journal of Symbolic Logic 38 (2):333-333.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. H. B. Enderton (1973). Review: Shaligram Singh, Independence of a Strong Axiom of Choice. [REVIEW] Journal of Symbolic Logic 38 (2):335-335.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. H. B. Enderton (1972). Review: G. E. Hughes, M. J. Cresswell, An Introduction to Modal Logic. [REVIEW] Journal of Symbolic Logic 37 (4):754-754.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. H. B. Enderton (1972). Review: Julia Robinson, Diophantine Decision Problems. [REVIEW] Journal of Symbolic Logic 37 (3):603-603.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  38. H. B. Enderton (1972). Review: Ken Hirose, A Conjecture on Hilbert's 10th Problem. [REVIEW] Journal of Symbolic Logic 37 (3):604-604.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. H. B. Enderton (1972). Review: Manuel Blum, On the Size of Machines. [REVIEW] Journal of Symbolic Logic 37 (1):199-200.
    Direct download  
     
    My bibliography  
     
    Export citation  
  40. H. B. Enderton (1972). Review: Martin Davis, Hilary Putnam, Diophantine Sets Over Polynomial Rings. [REVIEW] Journal of Symbolic Logic 37 (3):602-603.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  41. H. B. Enderton (1972). Review: Martin Davis, One Equation to Rule Them All. [REVIEW] Journal of Symbolic Logic 37 (3):602-602.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. H. B. Enderton (1972). Review: Martin Davis, Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem. [REVIEW] Journal of Symbolic Logic 37 (3):602-602.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. H. B. Enderton (1972). Review: N. V. Belyakin, A Certain Class of Turing Machines. [REVIEW] Journal of Symbolic Logic 37 (1):198-198.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. H. B. Enderton (1971). Review: Albert A. Mullin, On a Necessary Condition for the Validity of Goldbach's Conjecture. [REVIEW] Journal of Symbolic Logic 36 (2):343-343.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45. H. B. Enderton (1971). Review: Albert A. Mullin, On a Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory. [REVIEW] Journal of Symbolic Logic 36 (2):343-343.
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. H. B. Enderton (1971). Review: F. H. George, Automation Cybernetics and Society. [REVIEW] Journal of Symbolic Logic 36 (3):544-544.
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. H. B. Enderton (1971). Review: Sheldon B. Akers, On the Algebraic Manipulation of Majority Logic. [REVIEW] Journal of Symbolic Logic 36 (1):164-164.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. H. B. Enderton (1970). Review: H. H. Loomis, R. H. Wyman, On Complete Sets of Logic Primitives. [REVIEW] Journal of Symbolic Logic 35 (1):160-160.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  49. H. B. Enderton (1970). Review: Robert Faure, Nicole-Sylvie Guillot LeGarff, Manue Bloch, Eléments de la Recherche Opérationnelle. Exposé succinct des méthodes, enrichi de 50 exercices et problèmes, presque tous résolus, et de 10 programmes en langage symbolique. [REVIEW] Journal of Symbolic Logic 35 (3):483-483.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. H. B. Enderton & Hilary Putnam (1970). A Note on the Hyperarithmetical Hierarchy. Journal of Symbolic Logic 35 (3):429-430.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 55