The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results

The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results

Regular price $20.00 $16.00 Sale

In connection with Rand's Relational Data File (RDF), a class of proper formulas has been proposed comprising those formalizations of questions to be processed by the RDF that are especially suitable for machine processing (discussed in R-511 and RM-5428).