90 found
Order:
  1.  49
    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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  33
    Anita Burdman Feferman. From Trotsky to Gödel. The Life of Jean Van Heijenoort. Paperbound Reprint with Altered Title of Jsl Lviii 1465. A K Peters, Natick, Mass., 2001, XV + 415 Pp. [REVIEW]H. B. Enderton - 2002 - Bulletin of Symbolic Logic 8 (1):104-104.
  3.  27
    Wilfrid Hodges. Elementary Predicate Logic. Handbook of Philosophical Logic, Volume I, Elements of Classical Logic, Edited by D. Gabbay and F. Guenthner, 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.
  4.  26
    H. H. LoomsJr., and R. H. WymanJr., On Complete Sets of Logic Primitives. IEEE Transactions on Electronic Computers, Vol. EC-14 , Pp. 173–174. [REVIEW]H. B. Enderton - 1970 - Journal of Symbolic Logic 35 (1):160.
  5.  24
    Julia Robinson. Diophantine Decision Problems. Studies in Number Theory, Edited by W. J. LeVeque, 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 (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  24
    Richard L. Poss. A Note on a Lemma of J. W. Addison. Notre Dame Journal of Formal Logic, Vol. 11 , Pp. 337–339.H. B. Enderton - 1973 - Journal of Symbolic Logic 38 (2):334-334.
  7.  22
    Vladimir A. Uspensky. Godel's Incompleteness Theorem. A Reprint of LV 889 with Minor Corrections. Theoretical Computer Science, Vol. 130 , Pp. 239–319. [REVIEW]H. B. Enderton - 1995 - Journal of Symbolic Logic 60 (4):1320.
  8.  21
    Cumulative Index to Volumes 27–55.H. B. Enderton - 1990 - Journal of Symbolic Logic 55 (4):1329-1329.
  9.  21
    Martin D. Davis, Ron Sigal, and Elaine J. Weyuker. Computability, Complexity, and Languages. Fundamentals of Theoretical Computer Science. Second Edition 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.
  10.  17
    George F. H.. Automation Cybernetics and Society. Leonard Hill [Books] Ltd., London 1959, 283 Pp. [REVIEW]H. B. Enderton - 1971 - Journal of Symbolic Logic 36 (3):544.
  11.  17
    Martin Davis and Hilary Putnam. Diophantine Sets Over Polynomial Rings. Illinois Journal of Mathematics, Vol. 7 , Pp. 251–256. [REVIEW]H. B. Enderton - 1972 - Journal of Symbolic Logic 37 (3):602-603.
  12.  17
    J. Barkley Rosser. Logic for Mathematicians. Second Edition of XVIII 326. Chelsea Publishing Company, New York1978, Xv + 574 Pp. [REVIEW]H. B. Enderton - 1980 - Journal of Symbolic Logic 45 (3):631-632.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  16
    Sheldon B. AkersJr., On the Algebraic Manipulation of Majority Logic. IRE Transactions on Electronic Computers, Vol. EC-10 , P. 779. [REVIEW]H. B. Enderton - 1971 - Journal of Symbolic Logic 36 (1):164.
  14.  15
    The Columbia History of Western Philosophy, Edited by Richard H. Popkin, Columbia University Press, New York1999, Xxvi + 836 Pp. [REVIEW]H. B. Enderton - 1999 - Journal of Symbolic Logic 64 (1):396.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  14
    Dennis Sentilles. A Bridge to Advanced Mathematics. The Williams & Wilkins Company, Baltimore1975, Xiii + 387 Pp. [REVIEW]H. B. Enderton - 1976 - Journal of Symbolic Logic 41 (3):699-700.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  13
    Anita Burdman Feferman. Politics, Logic, and Love. The Life of Jean van Heijenoort. Jones and Bartlett Publishers, Boston and London, and A K Peters, Wellesley, Mass., 1993, Xv + 415 Pp. - Solomon Feferman. 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.
  17.  40
    Torng H. C.. Introduction to the Logical Design of Switching Systems. Addison-Wesley Series in Electrical Engineering. Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, 1964, Xii + 286 Pp.Zacharov Basil. Digital Systems Logic and Circuits. American Elsevier Publishing Company, Inc., New York 1968, Xv + 160 Pp.Ryan Ray. Basic Digital Electronics—Understanding Number Systems, Boolean Algebra, & Logic Circuits. Tab Books, Blue Ridge Summit, Pa., 1975, 210 Pp. [REVIEW]H. B. Enderton - 1976 - Journal of Symbolic Logic 41 (2):549-550.
  18.  11
    Shaligram Singh. The Independence of a Strong Axiom of Choice. The Mathematical Gazette, Vol. 46 , Pp. 126–129.H. B. Enderton - 1973 - Journal of Symbolic Logic 38 (2):335.
  19.  11
    Morton L. Schagrin. The Language of Logic. A Programed Text. Random House, New York1968, Vii + 247 Pp. [REVIEW]H. B. Enderton - 1974 - Journal of Symbolic Logic 39 (3):612.
  20.  11
    L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson. Introduction. Harvey Friedman's Research on the Foundations of Mathematics, Edited by L. A. Harrington, M. D. Morley, A. Ščedrov, and S. G. Simpson, Studies in Logic and the Foundations of Mathematics, Vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, Pp. Vii–Xii. [REVIEW]H. B. Enderton - 1990 - Journal of Symbolic Logic 55 (2):867-868.
  21.  11
    Andreas Blass. Near Coherence of Filters, 1: Cofinal Equivalence of Models of Arithmetic. Notre Dame Journal of Formal Logic, Vol. 27 , Pp. 579–591. [REVIEW]H. B. Enderton - 1993 - Journal of Symbolic Logic 58 (1):350.
  22.  25
    A Note on the Hyperarithmetical Hierarchy.H. B. Enderton & Hilary Putnam - 1970 - Journal of Symbolic Logic 35 (3):429-430.
  23.  9
    Patrick C. Fischer. Theory of Provable Recursive Functions. Transactions of the American Mathematical Society, Vol. 117 , Pp. 494–520. [REVIEW]H. B. Enderton - 1967 - Journal of Symbolic Logic 32 (2):270.
  24.  9
    F. D. Parker. Boolean Matrices and Logic. Mathematics Magazine, Vol. 37 , Pp. 33–38. - Hugh G. Campbell. Linear Algebra with Applications Including Linear Programming. Appleton-Century-Crofts, Educational Division, Meredith Corporation, New York 1971, Xiii + 396 + A45 Pp. [REVIEW]H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (4):614-615.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  8
    Nigel Cutland. Computabitity. An Introduction to Recursive Function Theory. Cambridge University Press, Cambridge Etc. 1980, X + 251 Pp. [REVIEW]H. B. Enderton - 1987 - Journal of Symbolic Logic 52 (1):292-293.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  37
    Meeting of the Association for Symbolic Logic: Berkeley, 1983.J. W. Addison & H. B. Enderton - 1984 - Journal of Symbolic Logic 49 (1):322-326.
  27.  24
    Lin Shen and Rado Tibor. Computer Studies of Turing Machine Problems. Journal of the Association for Computing Machinery, Vol. 12 , Pp. 196–212.Brady Allen H.. The Conjectured Highest Scoring Machines for Rado's Σ for the Value K = 4. IEEE Transactions on Electronic Computers, Vol. EC-15 , Pp. 802–803.Green Milton W.. A Lower Bound on Rado's Sigma Function for Binary Turing Machines. Switching Circuit Theory and Logical Design, Proceedings of the Fifth Annual Symposium, Princeton University, Princeton, N.J., November 11-13, 1964, The Institute of Electrical and Electronics Engineers, Inc., New York 1964, Pp. 91–94. [REVIEW]H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (4):617-617.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  7
    Martin Goldstern and Haim Judah, The Incompleteness Phenomenon, A New Course in Mathematical Logic, A K Peters, Wellesley, Mass., 1995, Xiii + 247 Pp. [REVIEW]H. B. Enderton - 1999 - Journal of Symbolic Logic 64 (3):1367-1368.
  29.  23
    An Infinitistic Rule of Proof.H. B. Enderton - 1967 - Journal of Symbolic Logic 32 (4):447-451.
  30.  20
    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.
  31.  6
    Patrick Suppes, Introduction to Logic. A Republication of XXII 353 Publications, Mineola, New York, 1999, Xiv + 312 Pp. [REVIEW]H. B. Enderton - 1999 - Journal of Symbolic Logic 64 (3):1368.
  32.  6
    Mostowski A.. A Class of Models for Second Order Arithmetic. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 7 , Pp. 401–404.Mostowski A.. Formal System of Analysis Based on an Infinitistic Rule of Proof. Infinitistic Methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, Pp. 141–166. [REVIEW]H. B. Enderton - 1969 - Journal of Symbolic Logic 34 (1):128-129.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  9
    Alonzo Church and the Reviews.H. B. Enderton - 1998 - Bulletin of Symbolic Logic 4 (2):172-180.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  5
    Albert A. Mullin. On a Necessary Condition for the Validity of Goldbach's Conjecture. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 9 , Pp. 145–148. [REVIEW]H. B. Enderton - 1971 - Journal of Symbolic Logic 36 (2):343.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  35.  16
    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-127.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  16
    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  
     
    Bookmark  
  37. 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  
     
    Bookmark  
  38.  20
    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.
  39.  13
    Meeting of the Association for Symbolic Logic.J. W. Addison & H. B. Enderton - 1984 - Journal of Symbolic Logic 49 (1):322-326.
  40.  15
    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.
  41.  16
    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.
  42.  12
    A Bridge to Advanced Mathematics.H. B. Enderton & Dennis Sentilles - 1976 - Journal of Symbolic Logic 41 (3):699.
  43.  14
    Review: K. Kuratowski, A. Mostowski, M. Maczynski, Set Theory. [REVIEW]H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (4):629-630.
  44.  15
    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  
     
    Bookmark  
  45.  11
    Lopez-Escobar E. G. K.. A Non-Interpolation Theorem. English with Russian Summary. Bulletin de l'Académic Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 17 , Pp. 109–112, V. [REVIEW]H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (3):457-458.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  11
    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-200.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  16
    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.
  48.  14
    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  
     
    Bookmark  
  49.  9
    Hughes G. E. And Cresswell M. J.. An Introduction to Modal Logic. A Second Printing, with Corrections, of XXXVI 328. Methuen and Co Ltd, London, and Barnes and Noble, Inc., New York, 1972, Xii + 388 Pp.; Also a University Paperback, Ibid. 1972, Xii + 388 Pp. [REVIEW]H. B. Enderton - 1972 - Journal of Symbolic Logic 37 (4):754-754.
  50.  9
    Mullin Albert A.. On a Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 9 , Pp. 203–205. [REVIEW]H. B. Enderton - 1971 - Journal of Symbolic Logic 36 (2):343-343.
1 — 50 / 90