Intuitionism : an introduction / A. Heyting. 3rd ed. (Studies in logic and the foundations of mathematics)

Intuitionism : an introduction / A. Heyting.

3rd ed.

(Studies in logic and the foundations of mathematics)

Call No. (NDL): MA41-50
Bibliographic ID of National Diet Library: 000006215275

Material type: 図書

Author: Heyting, A. (Arend) , 1898-

Publisher: North-Holland Pub. Co.

Publication date: 1971.

Material Format: Paper

Capacity, size, etc.: viii, 145 p. : ill. ; 23 cm.

NDC: -

Notes on use

Note (General)：: NDL copy imperfect: p. [7-22] blank.

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

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

Paper

Material Type: 図書
ISBN: 0720422396
Title: Intuitionism : an introduction / A. Heyting.
Edition: 3rd ed.
Series Title: Studies in logic and the foundations of mathematics
Author Heading: Heyting, A. (Arend) , 1898-
Publication, Distribution, etc.: Amsterdam : North-Holland Pub. Co.
Publication Date: 1971.
Publication Date (W3CDTF): 1971
Extent: viii, 145 p. : ill. ; 23 cm.
Place of Publication (Country Code): NL
Text Language Code: eng
Subject Heading: Intuitionistic mathematics.
LCC: QA9
DDC: 511/.3
NDLC: MA41
Note (General): NDL copy imperfect: p. [7-22] blank.
Note (Bibliography): Bibliography: p. [127]-141.
Holding library: 国立国会図書館
Call No.: MA41-50
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006215275
http://id.ndl.go.jp/bib/000006215275
LC Control Number: 72140491 //r84
https://lccn.loc.gov/72140491
Bibliographic Record Category (NDL): 211