Complexity of Solvable Cases of the Decision Problem for the Predicate Calculus

Harry R. Lewis

Browse the full FOCS paper archive.