Title: Unsolvable classes of quantificational formulas
First published: 1979
Subjects: Combinatorial analysis, Computable functions, Unsolvability (Mathematical logic), Berechenbarkeit, Non-resolubilite (Logique mathematique), Analyse combinatoire, Unlosbarkeit, Non-resolubilite (logique mathematique), Fonctions calculables
LC classification: QA9.63 .L48