Oglesby, Francis C.

An examination of a decision procedure - Providence, R.I. : American Mathematical Society, 1962 - 1 online resource (148 p.) - Memoirs of the American Mathematical Society, 1947-6221 ; .

9780821899885 (online)