The Journal of Philosophy · 1984 · 118 citations · 0 references
ComputingComputer ScienceMathematicsLogicPhilosophy Of MathematicsTheory Of ComputationChurch-turing ThesisComplexity TheoryComputability TheoryComputational ComplexityPredicate LogicTuring MachinesComplexityComplexity Of SatisfiabilityComplexity-theoretic Church-turing ThesisComputational LogicLogical Characterizations Of Complexity Classes