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

Online Public Access Catalogue

题名/责任者:

Constructivity in mathematics : proceedings / Edited by A. Heyting.

出版发行项:

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

载体形态项:

viii, 297 p. ; 23 cm.

丛编题名:

Studies in logic and the foundations of mathematics

会议名称:

International Colloquium "Constructivity in Mathematics" (1957 : Amsterdam, Netherlands)

附加个人名称:

Heyting, A. (Arend), 1898-

论题主题:

Metamathematics-Congresses.

中图法分类号:

O14

科图法分类号:

51.3083

一般附注:

"The appendix contains the summaries of three lectures ... [given] at the Summer Institute of Symbolic Logic in June 1957 at Cornell University, Ithaca, N.Y."

一般附注:

Papers in English, German, or French.

书目附注:

Includes bibliographies.

豆瓣简介：