机读格式显示(MARC)

• 000 01058cam 2200277 a 4500

• 000 1000110645

• 001 0000332854

• 005 20101013153224.0

• 008 800911s1952 riu b 000 0 eng d

• 020 __ |c CNY0.65

• 040 __ |a VA@ |c CUV |d CUV |d OCL |d MUQ |d OSU

• 090 __ |a O141/KSC

• 093 __ |a O141 |2 4

• 100 1_ |a Kleene, Stephen Cole, |d 1909-

• 245 10 |a Two papers on the predicate calculus / |c by S.C. Kleene.

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

• 300 __ |a 68 p. ; |c 26 cm.

• 490 0_ |a Memoirs of the American Mathematical Society ; |v no. 10.

• 500 __ |a Cover title.

• 504 __ |a Includes bibliographical references (p. 67-68)

• 505 0_ |a Permutability of inferences in Gentzen's calculi lk and lj. -- Finite axiomatizability of theories in the predicate calculus using additional predicate symbols.

• 650 _0 |a Calculus.

• 901 __022010001854

• 905 __ |a CAU |f O141/KSC |b E0277724

• 907 __ |a CAU |f O141/KSC |b E0277724

• 999 __ |t C |A gxr |a 20101013 15:26:18 |I gxr |i 20101013 15:32:24 |G gxr |g 20101013 15:35:2