6 found
Sort by:
  1. Herbert B. Enderton (2011). Computability Theory: An Introduction to Recursion Theory. 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  
     
    My bibliography  
     
    Export citation  
  2. Herbert B. Enderton, Second-Order and Higher-Order Logic. Stanford Encyclopedia of Philosophy.
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. 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). Association for Symbolic Logic. Bulletin of Symbolic Logic 4 (4).
     
    My bibliography  
     
    Export citation  
  4. Herbert B. Enderton (1973). Constructible Β‐Models. Mathematical Logic Quarterly 19 (14‐18):277-282.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Herbert B. Enderton (1972). A Mathematical Introduction to Logic. New York,Academic Press.
    A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Herbert B. Enderton (1970). Finite Partially‐Ordered Quantifiers. Mathematical Logic Quarterly 16 (8):393-397.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation