An examination of a decision procedure

Author(s)

• Oglesby, Francis C.

Bibliographic Information

An examination of a decision procedure

by Francis C. Oglesby

（Memoirs of the American Mathematical Society, no. 44）

American Mathematical Society, 1962

Note

Title from cover

"Received by the editors December 4, 1961."--P. [1]

Bibliography: p. 148

Details

• NCID: BA36749244
• LCCN: 52042839
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Providence
• Pages/Volumes: 148 p.
• Size: 26 cm
• Subject Headings:
  • FREE : Predicate calculus
  • FREE : Logic, Symbolic and mathematical
• Parent Bibliography ID:
  • BA00035927