55 found
Order:
  1.  7
    H. B. Enderton (1973). Review: Stephen Cole Kleene, Introduction to Metamathematics. [REVIEW] Journal of Symbolic Logic 38 (2):333-333.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  10
    J. W. Addison & H. B. Enderton (1984). Meeting of the Association for Symbolic Logic: Berkeley, 1983. Journal of Symbolic Logic 49 (1):322-326.
  3.  5
    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)  
     
    Export citation  
     
    My bibliography  
  4.  9
    H. B. Enderton (1990). Cumulative Index: Volumes 27-55. Journal of Symbolic Logic 55 (4):1329.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  5.  5
    H. B. Enderton & Hilary Putnam (1970). A Note on the Hyperarithmetical Hierarchy. Journal of Symbolic Logic 35 (3):429-430.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  6. H. B. Enderton (1987). Review: Nigel Cutland, Computability. An Introduction to Recursive Function Theory. [REVIEW] Journal of Symbolic Logic 52 (1):292-293.
     
    Export citation  
     
    My bibliography  
  7.  4
    H. B. Enderton (1989). Review: Wilfrid Hodges, D. Gabbay, F. Guenthner, Elementary Predicate Logic. [REVIEW] Journal of Symbolic Logic 54 (3):1089-1090.
  8.  4
    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)  
     
    Export citation  
     
    My bibliography  
  9.  1
    H. B. Enderton (1999). Review: Patrick Suppes, Introduction to Logic. [REVIEW] Journal of Symbolic Logic 64 (3):1368-1368.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  10.  5
    H. B. Enderton (1967). An Infinitistic Rule of Proof. Journal of Symbolic Logic 32 (4):447-451.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  3
    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 (3 more)  
     
    Export citation  
     
    My bibliography  
  12.  4
    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 (3 more)  
     
    Export citation  
     
    My bibliography  
  13.  2
    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  
     
    Export citation  
     
    My bibliography  
  14.  9
    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)  
     
    Export citation  
     
    My bibliography  
  15.  3
    H. B. Enderton (1975). Review: E. G. K. Lopez-Escobar, A Non-Interpolation Theorem. [REVIEW] Journal of Symbolic Logic 40 (3):457-458.
  16.  3
    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)  
     
    Export citation  
     
    My bibliography  
  17.  2
    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)  
     
    Export citation  
     
    My bibliography  
  18.  2
    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)  
     
    Export citation  
     
    My bibliography  
  19.  2
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  2
    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  
     
    Export citation  
     
    My bibliography  
  21.  2
    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)  
     
    Export citation  
     
    My bibliography  
  22.  2
    H. B. Enderton (1969). Review: A. Mostowski, A Class of Models for Second Order Arithmetic; A. Mostowski, Formal System of Analysis Based on an Infinitistic Rule of Proof. [REVIEW] Journal of Symbolic Logic 34 (1):128-129.
    Direct download  
     
    Export citation  
     
    My bibliography  
  23.  2
    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)  
     
    Export citation  
     
    My bibliography  
  24.  2
    H. B. Enderton (1968). On Provable Recursive Functions. Notre Dame Journal of Formal Logic 9 (1):86-88.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  25.  2
    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 (3 more)  
     
    Export citation  
     
    My bibliography  
  26.  5
    H. B. Enderton (1998). Alonzo Church and the Reviews. Bulletin of Symbolic Logic 4 (2):172-180.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  27.  2
    H. B. Enderton (1972). Review: Julia Robinson, Diophantine Decision Problems. [REVIEW] Journal of Symbolic Logic 37 (3):603-603.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  3
    H. B. Enderton (1995). In Memoriam: Alonzo Church, 1903-1995. Bulletin of Symbolic Logic 1 (4):486-488.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  29.  1
    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)  
     
    Export citation  
     
    My bibliography  
  30.  1
    H. B. Enderton (1967). Review: Patrick C. Fischer, Theory of Provable Recursive Functions. [REVIEW] Journal of Symbolic Logic 32 (2):270-270.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  1
    H. B. Enderton (1980). Review: J. Barkley Rosser, Logic for Mathematicians. [REVIEW] Journal of Symbolic Logic 45 (3):631-632.
    Direct download  
     
    Export citation  
     
    My bibliography  
  32.  1
    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)  
     
    Export citation  
     
    My bibliography  
  33.  1
    H. B. Enderton (1971). Review: F. H. George, Automation Cybernetics and Society. [REVIEW] Journal of Symbolic Logic 36 (3):544-544.
    Direct download  
     
    Export citation  
     
    My bibliography  
  34.  1
    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)  
     
    Export citation  
     
    My bibliography  
  35.  1
    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)  
     
    Export citation  
     
    My bibliography  
  36.  1
    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  
     
    Export citation  
     
    My bibliography  
  37.  1
    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)  
     
    Export citation  
     
    My bibliography  
  38. 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  
     
    Export citation  
     
    My bibliography  
  39. 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  
     
    Export citation  
     
    My bibliography  
  40. 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  
     
    Export citation  
     
    My bibliography  
  41. 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.
     
    Export citation  
     
    My bibliography  
  42. 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.
    Direct download  
     
    Export citation  
     
    My bibliography  
  43. H. B. Enderton (1969). Review: A. Ehrenfeucht, Separable Theories. [REVIEW] Journal of Symbolic Logic 34 (1):127-127.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. 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  
     
    Export citation  
     
    My bibliography  
  45. H. B. Enderton (1972). Review: Ken Hirose, A Conjecture on Hilbert's 10th Problem. [REVIEW] Journal of Symbolic Logic 37 (3):604-604.
  46. 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)  
     
    Export citation  
     
    My bibliography  
  47. H. B. Enderton (1972). Review: Manuel Blum, On the Size of Machines. [REVIEW] Journal of Symbolic Logic 37 (1):199-200.
    Direct download  
     
    Export citation  
     
    My bibliography  
  48. H. B. Enderton (1972). Review: Martin Davis, Hilary Putnam, Diophantine Sets Over Polynomial Rings. [REVIEW] Journal of Symbolic Logic 37 (3):602-603.
  49. 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)  
     
    Export citation  
     
    My bibliography  
  50. 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.
     
    Export citation  
     
    My bibliography  
1 — 50 / 55