The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas.

The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas.

Regular price $20.00 $20.00 Sale

A class of formulas of the first-order predicate calculus--the definite formulas--have recently been proposed as formal representations of "reasonable" questions to be processed by an actual data retrieval system known as the Relational Data File (se...