The decision method for real algebra: is it practical?
Series: Rand Corporation.; Memorandum RM-4436-PR; Memorandum (Rand Corporation) ;; RM-4436-PR.
Publisher: Rand Corp.
Published: 1966
Place of publication: Santa Monica, Calif
Language: eng
Number of pages: 44
Subjects: Logic, Symbolic and mathematical.; Algebra.; Gödel's theorem.
Notes: Bibliography: p. 44.
"Research ... sponsored by the United States Air Force under Project RAND, contract No. AF 49 (638)-1700."