机读格式显示(MARC)

• 000 00937cam a2200253 a 4500

• 001 0000334413

• 003 CAL

• 005 20200814134200.0

• 008 711008s1965 ne b 00110 eng

• 010 __ |a 75020959

• 040 __ |c WUL

• 090 __ |a O14/K63

• 093 __ |a O14 |2 3rd

• 099 __ |a CAL 022000374515

• 100 1_ |a Kleene, Stephen Cole, |d 1909- |0 CAL n2004508732# |7 ba0yba0y

• 245 14 |a The foundations of intuitionistic mathematics : |b especially in relation to recursive functions / |c [by] Stephen Cole Kleene [and] Richard Eugene Vesley.

• 260 __ |a Amsterdam : |b North-Holland Pub. Co., |c 1965.

• 300 __ |a viii, 206 p. ; |c 23 cm.

• 440 _0 |a Studies in logic and the foundations of mathematics

• 504 __ |a Includes "bibliography, by S. C. Kleene" (p. [187]-199).

• 650 _0 |a Recursive functions.

• 650 _0 |a Intuitionistic mathematics.

• 700 1_ |a Vesley, Richard Eugene, |d 1932- |0 CAL n2005253819# |7 ba0yba0y

• 998 __ |a WUL