98 found
Order:
  1.  9
    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  
  2.  13
    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 (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  
  4.  9
    H. B. Enderton (1990). Cumulative Index: Volumes 27-55. Journal of Symbolic Logic 55 (4):1329.
    Direct download (5 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 (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  6.  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  
  7. 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  
  8.  7
    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  
  9.  6
    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  
  10.  5
    H. B. Enderton (1967). An Infinitistic Rule of Proof. Journal of Symbolic Logic 32 (4):447-451.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  1
    H. B. Enderton (1975). Kuratowski K. And Mostowski A.. Set Theory. English Translation of XL 649 by Maczynski M.. PWN—Polish Scientific Publishers, Warsaw, and North-Holland Publishing Company, Amsterdam, 1968, Xi + 417 Pp. [REVIEW] Journal of Symbolic Logic 40 (4):629-630.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  9
    H. B. Enderton (1995). In Memoriam: Alonzo Church, 1903-1995. Bulletin of Symbolic Logic 1 (4):486-488.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  13.  5
    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  
  14.  4
    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  
  15.  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  
  16.  4
    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  
  17.  4
    H. B. Enderton (1989). Review: Wilfrid Hodges, D. Gabbay, F. Guenthner, Elementary Predicate Logic. [REVIEW] Journal of Symbolic Logic 54 (3):1089-1090.
  18.  4
    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  
  19.  2
    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  
  20.  3
    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  
  21.  3
    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 (3 more)  
     
    Export citation  
     
    My bibliography  
  22.  3
    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  
  23.  3
    H. B. Enderton (1975). Review: E. G. K. Lopez-Escobar, A Non-Interpolation Theorem. [REVIEW] Journal of Symbolic Logic 40 (3):457-458.
  24.  3
    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.  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  
  26.  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 (3 more)  
     
    Export citation  
     
    My bibliography  
  27.  2
    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  
  28.  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  
  29.  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  
  30.  2
    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  
  31.  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  
  32.  5
    H. B. Enderton (1998). Alonzo Church and the Reviews. Bulletin of Symbolic Logic 4 (2):172-180.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  33.  1
    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 (3 more)  
     
    Export citation  
     
    My bibliography  
  34.  1
    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  
  35.  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  
  36.  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  
  37.  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  
  38.  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  
  39.  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  
  40.  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  
  41.  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  
  42. J. W. Addison & H. B. Enderton (1984). Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 49 (1):322-326.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43. H. B. Enderton & Dennis Sentilles (1976). A Bridge to Advanced Mathematics. Journal of Symbolic Logic 41 (3):699.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. H. B. Enderton (1971). Akers Sheldon B. Jr., On the Algebraic Manipulation of Majority Logic. IRE Transactions on Electronic Computers, Vol. EC-10 , P. 779. [REVIEW] Journal of Symbolic Logic 36 (1):164.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. H. B. Enderton (1993). Blass Andreas. Near Coherence of Filters, 1: Cofinal Equivalence of Models of Arithmetic. Notre Dame Journal of Formal Logic, Vol. 27 , Pp. 579–591. [REVIEW] Journal of Symbolic Logic 58 (1):350.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46. H. B. Enderton (1972). Blum Manuel. On the Size of Machines. Information and Control, Vol. 11 No. 3 , Pp. 257–265. Journal of Symbolic Logic 37 (1):199-200.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47. H. B. Enderton (1972). Belyakin N. V.. A Certain Class of Türing Machines. English Translation of XXXVII 211. Soviet Physics, Doklady, Vol. 8 No. 1 , Pp. 3–4. [REVIEW] Journal of Symbolic Logic 37 (1):198.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. H. B. Enderton (1987). Cutland Nigel. Computabitity. An Introduction to Recursive Function Theory. Cambridge University Press, Cambridge Etc. 1980, X + 251 Pp. [REVIEW] Journal of Symbolic Logic 52 (1):292-293.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. H. B. Enderton & Martin Davis (1987). Computability & Unsolvability.Hilbert's Tenth Problem is Unsolvable. Journal of Symbolic Logic 52 (1):294.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. H. B. Enderton (1994). Devlin Keith. The Joy of Sets. Fundamentals of Contemporary Set Theory. Second Edition of XLVI419. Undergraduate Texts in Mathematics. Springer-Verlag, New York, Berlin, Heidelberg, Etc., 1993, X + 192 Pp. [REVIEW] Journal of Symbolic Logic 59 (4):1441-1442.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 98