関連資料一覧：（本学所蔵）

検索条件入力＞書誌詳細＞関連資料一覧：（本学所蔵）

関連資料一覧：（本学所蔵）

著者名典拠情報

NCID	DA00234624
名称(HDNG)	Heyting, A. (Arend), 1898-
生没年(DATE)	1898-
から見よ(SF)	Heyting, Arend, 1898-
注記(NOTE)	Author's Mathematische grundlagenforschung ... 1934 His Logic and foundations of mathematics, 1968
LCAID	80006204

図書(3件)

選択行を：

資料名

所在

1

Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen ; v. 1, v. 1:pbk., v. 2. -- North-Holland, 1988. -- (Studies in logic and the foundations of mathematics ; v. 121, 123).

理数学 410.9:T

2

Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957 / edited by A. Heyting. -- North-Holland Publishing Co., 1959. -- (Studies in logic and the foundations of mathematics).

図書館(書庫) 410.1:H621:1

3

Intuitionism : An introduction / [By] A. Heyting. -- 3rd rev. ed. -- North-Holland, 1971. -- (Studies in logic and the foundations of mathematics).

図書館(書庫) 410.1:H621i

選択行を

▲ページトップへ

カナ
英字
ＥＸＣ
ギリシャ
キリル
ハングル

ＥＸＣ

ＥＸＣ

ＥＸＣ

ＥＸＣ

초성

중성

종성