000 00377pam a2200133a 44500
082 _a510.5
_bAm35m
100 _aOglesby, Francis C.
245 1 _aAN EXAMINATION OF A DECISION PROCEDURE
260 _aProvidence
_bAmerican Mathematical Society
_c1962
300 _a148
440 _aAmerican Mathematical Society Memoirs, No. 44
_v
964 _gCIRC
997 _aK748 v. 44 C
999 _c384841
_d384841