The recursive unsolvability of the decision problem for the class of definite formulas.
Series: Rand Corporation. Research memorandum -- RM-5639; Research memorandum (Rand Corporation) -- RM-5639..
Publisher: Rand Corporation
Published: 1968
Place of publication: Santa Monica, Calif
Language: eng
Number of pages: 12
Subjects: Calculus, Operational.
Notes: Supported by the U.S. Air Force under Project Rand--Contract No. F44620-67-C-0045.