98 found
Order:
  1.  12
    J. W. Addison & H. B. Enderton (1984). Meeting of the Association for Symbolic Logic: Berkeley, 1983. Journal of Symbolic Logic 49 (1):322-326.
  2.  6
    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  
  3.  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  
  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.  3
    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  
  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.  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  
  8.  5
    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.  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  
  10.  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  
  11.  4
    H. B. Enderton (1989). Review: Wilfrid Hodges, D. Gabbay, F. Guenthner, Elementary Predicate Logic. [REVIEW] Journal of Symbolic Logic 54 (3):1089-1090.
  12.  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  
  13.  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  
  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 (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  
  16.  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  
  17.  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  
  18.  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  
  19.  3
    H. B. Enderton (1975). Review: E. G. K. Lopez-Escobar, A Non-Interpolation Theorem. [REVIEW] Journal of Symbolic Logic 40 (3):457-458.
  20.  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  
  21.  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  
  22.  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  
  23.  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  
  24.  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  
  25.  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  
  26.  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  
  27.  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  
  28.  2
    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  
  29.  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  
  30.  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  
  31.  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  
  32.  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  
  33.  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  
  34.  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  
  35.  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  
  36.  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  
  37.  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  
  38.  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  
  39.  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  
  40. 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  
  41. 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  
  42. 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  
  43. 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  
  44. 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  
  45. 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  
  46. 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  
  47. 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  
  48. 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  
  49. H. B. Enderton (1972). Davis Martin and Putnam Hilary. Diophantine Sets Over Polynomial Rings. Illinois Journal of Mathematics, Vol. 7 , Pp. 251–256. [REVIEW] Journal of Symbolic Logic 37 (3):602-603.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. 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  
1 — 50 / 98