Search Constraints

Number of results to display per page
Results for: Creator / Instructor Hagg, Dana Remove constraint Creator / Instructor: Hagg, Dana Keywords Logic Remove constraint Keywords: Logic Resource Type e-book Remove constraint Resource Type: e-book

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