×

The recursion-theoretic complexity of the semantics of predicate logic as a programming language. (English) Zbl 0527.03022


MSC:

03D35 Undecidability and degrees of sets of sentences
03F20 Complexity of proofs
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68N01 General topics in the theory of software
03B35 Mechanization of proofs and logical operations

Citations:

Zbl 0139.123
PDF BibTeX XML Cite
Full Text: DOI