Principles of intuitionism. [By] A. S. Troelstra. (Lecture notes in mathematics, 95)

Principles of intuitionism. [By] A. S. Troelstra.

(Lecture notes in mathematics, 95)

Notes on use

Note (General)：: "Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y."

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: Principles of intuitionism. [By] A. S. Troelstra.
Series Title: Lecture notes in mathematics, 95
Title Heading: Lecture notes in mathematics (Springer-Verlag) ; 95.
Author Heading: Troelstra, A. S. (Anne Sjerp)
Publication, Distribution, etc.: Berlin : Springer
Heidelberg : Springer
New York : Springer
Publication Date: 1969.
Publication Date (W3CDTF): 1969
Extent: 111 p. 28 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Intuitionistic mathematics.
Logica Matematica.
LCC: QA3
DDC: 164
NDLC: MA41
Note (General): "Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y."
Note (Bibliography): Bibliography: p. 108-111.
Holding library: 国立国会図書館
Call No.: MA41-17
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006352297
http://id.ndl.go.jp/bib/000006352297
LC Control Number: 74088182 //r85
https://lccn.loc.gov/74088182
Bibliographic Record Category (NDL): 211