Works by Enderton, Herbert B. (exact spelling)

5 found
Order:
  1.  36
    Finite Partially‐Ordered Quantifiers.Herbert B. Enderton - 1970 - Mathematical Logic Quarterly 16 (8):393-397.
  2.  89
    Second-order and higher-order logic.Herbert B. Enderton - 2008 - Stanford Encyclopedia of Philosophy.
  3.  54
    Computability Theory: An Introduction to Recursion Theory.Herbert B. Enderton - 2010 - Academic Press.
    Machine generated contents note: 1. The Computability Concept;2. General Recursive Functions;3. Programs and Machines;4. Recursive Enumerability;5. Connections to Logic;6. Degrees of Unsolvability;7. Polynomial-Time Computability;Appendix: Mathspeak;Appendix: Countability;Appendix: Decadic Notation;.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  4. Association for Symbolic Logic.Jon Barwise, Howard S. Becker, Chi Tat Chong, Herbert B. Enderton, Michael Hallett, C. Ward Henson, Harold Hodes, Neil Immerman, Phokion Kolaitis & Alistair Lachlan - 1998 - Bulletin of Symbolic Logic 4 (4):465-510.
  5.  15
    Constructible β‐models.Herbert B. Enderton - 1973 - Mathematical Logic Quarterly 19 (14‐18):277-282.