The decision method for real algebra: is it practical? /

Bibliographic Details

Main Author:	Friedman, Joel, 1962-
Corporate Author:	Rand Corporation
Format:	Book
Language:	English
Published:	Santa Monica, Calif. : Rand Corp., [1966]
Series:	Memorandum (Rand Corporation) ; RM-4436-PR.
Subjects:	Logic, Symbolic and mathematical. Algebra. Gödel's theorem.