Constructivity in mathematics; proceedings. Edited by A. Heyting. (Studies in logic and the foundations of mathematics)

Constructivity in mathematics; proceedings. Edited by A. Heyting.

(Studies in logic and the foundations of mathematics)

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

Notes on use

Note (General)：: Papers in English, German, or French."The appendix contains the summaries of three lectures ... [given] at the Summer Institute of Symbolic Logic in J...

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: Constructivity in mathematics; proceedings. Edited by A. Heyting.
Series Title: Studies in logic and the foundations of mathematics
Author Heading: International Colloquium "Constructivity in Mathematics" (1957 : Amsterdam, Netherlands)
Heyting, A. (Arend) , 1898-
Publication, Distribution, etc.: Amsterdam : North-Holland Pub. Co.
Publication Date: 1959.
Publication Date (W3CDTF): 1959
Extent: viii, 297 p. 23 cm.
Place of Publication (Country Code): NL
Text Language Code: eng
Subject Heading: Metamathematics -- Congresses.
LCC: QA9
DDC: 510.63
Note (General): Papers in English, German, or French.
"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."
Note (Bibliography): Includes bibliographies.
Holding library: 国立国会図書館
Call No.: 510.63-I612c
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006225716
http://id.ndl.go.jp/bib/000006225716
LC Control Number: 63000522
https://lccn.loc.gov/63000522
Bibliographic Record Category (NDL): 211