×

The undecidability of unification in third order logic. (English) Zbl 0257.02038


MSC:

03B25 Decidability of theories and sets of sentences
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
03B15 Higher-order logic; type theory (MSC2010)
PDF BibTeX XML Cite
Full Text: DOI