An examination of a decision procedure
By: by Francis C. Oglesby
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: Symbolic and mathematical Logic; Calculus
Notes: Cover title.

Bibliography: p. 148.