安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

The foundations of intuitionistic mathematics : especially in relation to recursive functions / [by] Stephen Cole Kleene [and] Richard Eugene Vesley.

出版发行项:

Amsterdam : North-Holland Pub. Co., 1965.

载体形态项:

viii, 206 p. ; 23 cm.

丛编题名:

Studies in logic and the foundations of mathematics

个人责任者:

Kleene, Stephen Cole, 1909-

附加个人名称:

Vesley, Richard Eugene, 1932-

论题主题:

Recursive functions.

论题主题:

Intuitionistic mathematics.

中图法分类号:

O14

书目附注:

Includes "bibliography, by S. C. Kleene" (p. [187]-199).

豆瓣简介：