Logic & Computability

Table of Contents

• Background, Reserve, and Gandy Machines
• Choiceless Polynomial Time
• Choice Logics
• Complete Logic
  • Full Paper
  • Extended Abstract
• EDL
• Linear-Time Hierarchy
• Logspace Reducibility
• Metafinite Model Theory
• Partial Correctness Logics
• Pure Mathematics
• Tableau Calculus
• Unordered Structures
• Zero-One Law
  • Popular Version
  • Full Version

---

Jim Huggins / huggins@acm.org

URL: http://www.eecs.umich.edu/ealgebras/subjects/logic.html (page only)
last update: Thursday, 03-Apr-2008 13:05:02 EDT