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