6 found
  1.  15
    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)  
    Export citation  
    My bibliography   64 citations  
  2.  19
    Herbert B. Enderton (1970). Finite Partially‐Ordered Quantifiers. Mathematical Logic Quarterly 16 (8):393-397.
    Direct download (5 more)  
    Export citation  
    My bibliography   20 citations  
  3.  48
    Herbert B. Enderton (2008). Second-Order and Higher-Order Logic. Stanford Encyclopedia of Philosophy.
    Direct download  
    Export citation  
    My bibliography   2 citations  
  4.  1
    Herbert B. Enderton (1973). Constructible Β‐Models. Mathematical Logic Quarterly 19 (14‐18):277-282.
    No categories
    Direct download (3 more)  
    Export citation  
    My bibliography  
  5. 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).
  6.  22
    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  
    Export citation  
    My bibliography