Search Constraints

Number of results to display per page
Results for: Creator / Instructor Hagg, Dana Remove constraint Creator / Instructor: Hagg, Dana Creator / Instructor Zach, Richard Remove constraint Creator / Instructor: Zach, Richard Keywords Textbooks Remove constraint Keywords: Textbooks

Search Results

  • e-book 
    Sets, logic, computation : an open text

    Sets, logic, computation : an open text

    "This textbook is based on the Open Logic Project. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic"--BCcampus website.

    Subjects:
    Philosophy
    Keywords:
    Textbooks Logic
    Resource Type:
    e-book