98 found
Order:
  1.  16
    Meeting of the Association for Symbolic Logic: Berkeley, 1983.J. W. Addison & H. B. Enderton - 1984 - Journal of Symbolic Logic 49 (1):322-326.
  2.  6
    A Note on the Hyperarithmetical Hierarchy.H. B. Enderton & Hilary Putnam - 1970 - Journal of Symbolic Logic 35 (3):429-430.
  3.  11
    Review: G. E. Hughes, M. J. Cresswell, An Introduction to Modal Logic. [REVIEW]H. B. Enderton - 1972 - Journal of Symbolic Logic 37 (4):754-754.
  4. Review: Nigel Cutland, Computability. An Introduction to Recursive Function Theory. [REVIEW]H. B. Enderton - 1987 - Journal of Symbolic Logic 52 (1):292-293.
     
    Export citation  
     
    My bibliography  
  5.  7
    Review: K. Kuratowski, A. Mostowski, M. Maczynski, Set Theory. [REVIEW]H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (4):629-630.
  6.  8
    Review: Stephen Cole Kleene, Introduction to Metamathematics. [REVIEW]H. B. Enderton - 1973 - Journal of Symbolic Logic 38 (2):333-333.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  9
    Cumulative Index: Volumes 27-55.H. B. Enderton - 1990 - Journal of Symbolic Logic 55 (4):1329.
  8.  5
    An Infinitistic Rule of Proof.H. B. Enderton - 1967 - Journal of Symbolic Logic 32 (4):447-451.
  9.  7
    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]H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (4):617-617.
  10.  3
    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]H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (4):629-630.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  11.  7
    Review: Dennis Sentilles, A Bridge to Advanced Mathematics. [REVIEW]H. B. Enderton - 1976 - Journal of Symbolic Logic 41 (3):699-700.
  12.  9
    In Memoriam: Alonzo Church, 1903-1995.H. B. Enderton - 1995 - Bulletin of Symbolic Logic 1 (4):486-488.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  13.  5
    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]H. B. Enderton - 1989 - Journal of Symbolic Logic 54 (3):1089-1090.
  14.  9
    Review: Anita Burdman Feferman, From Trotsky to Godel. The Life of Jean van Heijenoort. [REVIEW]H. B. Enderton - 2002 - Bulletin of Symbolic Logic 8 (1):104-104.
  15.  2
    Meeting of the Association for Symbolic Logic.J. W. Addison & H. B. Enderton - 1984 - Journal of Symbolic Logic 49 (1):322-326.
  16.  2
    Faure Robert with the Collaboration of LeGarff Nicole-Sylvie Guillot and Bloch Manue. 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. Gauthier-Villars, Paris 1968, 317 Pp. [REVIEW]H. B. Enderton - 1970 - Journal of Symbolic Logic 35 (3):483.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  17.  5
    Review: Martin Davis, Solvability, Provability, Definability: The Collected Works of Emil L. Post. [REVIEW]H. B. Enderton - 1997 - Journal of Symbolic Logic 62 (3):1046-1048.
  18.  4
    Review: Martin D. Davis, Ron Sigal, Elaine J. Weyuker, Computability, Complexity, and Languages. Fundamentals of Theoretical Computer Science. [REVIEW]H. B. Enderton - 1996 - Journal of Symbolic Logic 61 (2):703-704.
  19.  4
    Review: F. D. Parker, Boolean Matrices and Logic; Hugh G. Campbell, Linear Algebra with Applications Including Linear Programming. [REVIEW]H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (4):614-615.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  4
    Review: Isaac Levi, Gambling with Truth. An Essay on Induction and the Aims of Science. [REVIEW]H. B. Enderton - 1976 - Journal of Symbolic Logic 41 (4):791-791.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21.  4
    Review: Wilfrid Hodges, D. Gabbay, F. Guenthner, Elementary Predicate Logic. [REVIEW]H. B. Enderton - 1989 - Journal of Symbolic Logic 54 (3):1089-1090.
  22.  4
    Review: Richard H. Popkin, The Columbia History of Western Philosophy. [REVIEW]H. B. Enderton - 1999 - Journal of Symbolic Logic 64 (1):396-396.
  23.  3
    Review: Vladimir A. Uspensky, Godel's Incompleteness Theorem. [REVIEW]H. B. Enderton - 1995 - Journal of Symbolic Logic 60 (4):1320-1320.
  24.  2
    Review: Keith Devlin, The Joy of Sets. Fundamentals of Contemporary Set Theory. [REVIEW]H. B. Enderton - 1994 - Journal of Symbolic Logic 59 (4):1441-1442.
  25.  2
    Review: Patrick Suppes, Introduction to Logic. [REVIEW]H. B. Enderton - 1999 - Journal of Symbolic Logic 64 (3):1368-1368.
  26.  3
    Review: F. H. George, Automation Cybernetics and Society. [REVIEW]H. B. Enderton - 1971 - Journal of Symbolic Logic 36 (3):544-544.
  27.  3
    Review: E. G. K. Lopez-Escobar, A Non-Interpolation Theorem. [REVIEW]H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (3):457-458.
  28.  3
    On Provable Recursive Functions.H. B. Enderton - 1968 - Notre Dame Journal of Formal Logic 9 (1):86-88.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  29.  3
    Review: Martin Davis, One Equation to Rule Them All. [REVIEW]H. B. Enderton - 1972 - Journal of Symbolic Logic 37 (3):602-602.
  30.  2
    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]H. B. Enderton - 1993 - Journal of Symbolic Logic 58 (4):1465-1466.
  31.  5
    Alonzo Church and the Reviews.H. B. Enderton - 1998 - Bulletin of Symbolic Logic 4 (2):172-180.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  32.  1
    Ehrenfeucht A.. Separable Theories. Bulletin de L′Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 9 , Pp. 17–19. [REVIEW]H. B. Enderton - 1969 - Journal of Symbolic Logic 34 (1):127.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  33.  1
    Introduction to the Logical Design of Switching Systems.Digital Systems Logic and Circuits.Basic Digital Electronics--Understanding Number Systems, Boolean Algebra, & Logic Circuits. [REVIEW]H. B. Enderton, H. C. Torng, Basil Zacharov & Ray Ryan - 1976 - Journal of Symbolic Logic 41 (2):549.
  34.  1
    Rosser J. Barkley. Logic for Mathematicians. Second Edition of XVIII 326. Chelsea Publishing Company, New York 1978, Xv + 574 Pp. [REVIEW]H. B. Enderton - 1980 - Journal of Symbolic Logic 45 (3):631-632.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  1
    Robinson Julia. Diophantine Decision Problems. Studies in Number Theory, Edited by LeVeque W. J., Studies in Mathematics, Vol. 6, The Mathematical Association of America, Washington, D.C., Distributed by Prentice-Hall, Inc., Englewood Cuffs, New Jersey, 1969, Pp. 76–116. [REVIEW]H. B. Enderton - 1972 - Journal of Symbolic Logic 37 (3):603.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36.  1
    Shamir E.. On Sequential Languages and Two Classes of Regular Events. Introduction. Zeitschrift Für Phonetik, Sprachwissenschaft Und Kommunikationsforschung, Vol. 16 , Pp. 389–390. [REVIEW]H. B. Enderton - 1972 - Journal of Symbolic Logic 37 (1):200.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37.  1
    The Columbia History of Western Philosophy, Edited by Popkin Richard H., Columbia University Press, New York 1999, Xxvi + 836 Pp. [REVIEW]H. B. Enderton - 1999 - Journal of Symbolic Logic 64 (1):396.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38.  2
    Review: Morton L. Schagrin, The Language of Logic. A Programed Text. [REVIEW]H. B. Enderton - 1974 - Journal of Symbolic Logic 39 (3):612-612.
  39.  2
    Review: J. Barkley Rosser, Logic for Mathematicians. [REVIEW]H. B. Enderton - 1980 - Journal of Symbolic Logic 45 (3):631-632.
    Direct download  
     
    Export citation  
     
    My bibliography  
  40.  2
    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]H. B. Enderton - 1969 - Journal of Symbolic Logic 34 (1):128-129.
  41.  2
    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]H. B. Enderton - 1976 - Journal of Symbolic Logic 41 (2):549-550.
  42.  2
    Review: H. H. Loomis, R. H. Wyman, On Complete Sets of Logic Primitives. [REVIEW]H. B. Enderton - 1970 - Journal of Symbolic Logic 35 (1):160-160.
  43.  2
    Review: Julia Robinson, Diophantine Decision Problems. [REVIEW]H. B. Enderton - 1972 - Journal of Symbolic Logic 37 (3):603-603.
  44.  1
    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]H. B. Enderton - 1996 - Journal of Symbolic Logic 61 (2):703-704.
  45.  1
    Goldstern Martin and Judah Haim, The Incompleteness Phenomenon, A New Course in Mathematical Logic, AK Peters, Wellesley, Mass., 1995, Xiii+ 247 Pp. [REVIEW]H. B. Enderton - 1999 - Journal of Symbolic Logic 64 (3):1367-1368.
  46.  1
    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]H. B. Enderton - 1970 - Journal of Symbolic Logic 35 (3):483-483.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  47.  1
    Review: Richard L. Poss, A Note on a Lemma of J. W. Addison. [REVIEW]H. B. Enderton - 1973 - Journal of Symbolic Logic 38 (2):334-334.
  48.  1
    Review: Patrick C. Fischer, Theory of Provable Recursive Functions. [REVIEW]H. B. Enderton - 1967 - Journal of Symbolic Logic 32 (2):270-270.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  1
    Review: Albert A. Mullin, On a Necessary Condition for the Validity of Goldbach's Conjecture. [REVIEW]H. B. Enderton - 1971 - Journal of Symbolic Logic 36 (2):343-343.
  50.  1
    Review: Sheldon B. Akers, On the Algebraic Manipulation of Majority Logic. [REVIEW]H. B. Enderton - 1971 - Journal of Symbolic Logic 36 (1):164-164.
1 — 50 / 98