examination of a decision procedure
By: by Francis C. Oglesby.
Series: Memoirs of the American Mathematical Society, no. 44; 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.; Calculus.
Notes: Cover title.

Bibliography: p. 148.