机读格式显示(MARC)

• 000 00746nam a2200241 a 4500

• 001 0000361635

• 003 CAL

• 005 20201029154000.0

• 008 750505s1962 riu b 000 0 eng d

• 040 __ |a YBM |c YBM |d OCL |d CU-SB

• 090 __ |a O1/O35

• 093 __ |a O1 |2 3

• 099 __ |a CAL 022002168883

• 100 1_ |a Oglesby, Francis C. |0 CAL n2005183596# |7 ba0yba0y

• 245 10 |a An examination of a decision procedure / |c by Francis C. Oglesby.

• 260 __ |a Providence, R. I. : |b American Mathematical Society, |c 1962.

• 300 __ |a 148 p. |c 26 cm.

• 440 _0 |a Memoirs of the American Mathematical Society ; |v no. 44

• 500 __ |a Cover title.

• 504 __ |a Bibliography: p. 148.

• 650 _0 |a Logic, Symbolic and mathematical

• 650 _0 |a Calculus

• 998 __ |a XJT