検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
著者名典拠情報
NCIDDA00234657
名称(HDNG)Dalen, D. van (Dirk), 1932-
から見よ(SF)Dalen, Dirk van, 1932-
Van Dalen, Dirk
注記(NOTE)His Formele logica, 1971
LCAID79105677
選択行を：
資料名所在
1Proof theory, constructive mathematics / Jane E. Kister, Dirk van Dalen and Anne S. Troelstra (editors) ; : Germany, : U.S.. -- Springer-Verlag, c1987. -- (Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 6).図書館(書庫) 410.9:O:6
2Constructivism 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
3Logic and structure / Dirk van Dalen. -- 3rd augm. ed. -- Springer-Verlag, c1994. -- (Universitext).教養共４Ｆ哲学 410.9:D
4Logic and structure / Dirk van Dalen ; : pbk. -- 4th ed. -- Springer, c2004. -- (Universitext).図書館(閲覧室) 410.1:D
選択行を
▲ページトップへ