An examination of a decision procedure.
Series: Memoirs of the American Mathematical Society -- no. 44.
Publisher: American Mathematical Society
Published: 1962
Place of publication: Providence
Language: eng
Number of pages: 148
Subjects: Logic, Symbolic and mathematical.
Notes: Cover title.

Bibliography: p. 148.