Mathematical intuitionism : introduction to proof theory / A.G. Dragalin. (Translations of mathematical monographs ; v. 67)

Mathematical intuitionism : introduction to proof theory / A.G. Dragalin.

(Translations of mathematical monographs ; v. 67)

Notes on use

Note (General)：: Translation of: Matematicheskiĭ intuit͡sionizm.Includes indexes.

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: 図書
ISBN: 0821845209
ISSN (series): 0065-9282
Title: Mathematical intuitionism : introduction to proof theory / A.G. Dragalin.
Series Title: Translations of mathematical monographs ; v. 67
Title Heading: Matematicheskiĭ intuit͡sionizm. English.
Author Heading: Dragalin, Al'bert Grigor'evich.
Publication, Distribution, etc.: Providence, R.I. : American Mathematical Society
Publication Date: c1988.
Publication Date (W3CDTF): 1988
Extent: ix, 228 p. ; 24 cm.
Place of Publication (Country Code): US
Text Language Code: eng
Subject Heading: 記号論理学. Kigoronrigaku.
Logic, Symbolic and mathematical.
LCC: QA9
DDC: 511.3
NDLC: MA41
Note (General): Translation of: Matematicheskiĭ intuit͡sionizm.
Includes indexes.
Note (Bibliography): Bibliography: p. 201-216.
Holding library: 国立国会図書館
Call No.: MA41-A30
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003163196
http://id.ndl.go.jp/bib/000003163196
LC Control Number: 87032766
https://lccn.loc.gov/87032766
Bibliographic Record Category (NDL): 211