Cover of Unsolvable classes of quantificational formulas

An edition of Unsolvable classes of quantificational formulas (1979)

Unsolvable classes of quantificational formulas

By Harry R. Lewis

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

1979

Publisher

Addison-Wesley Pub. Co.

Language

eng

Pages

198

Description:

subjects: Combinatorial analysis, Computable functions, Unsolvability (Mathematical logic), Berechenbarkeit, Non-resolubilite (Logique mathematique), Analyse combinatoire, Unlosbarkeit, Non-resolubilite (logique mathematique)