愛媛大学図書館

Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y.

A.S. Troelstra. -- Springer-Verlag, 1969. -- (Lecture notes in mathematics ; 95). <BB00458755>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~2件(全2件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 中央館 研究室-理
410.8/L1/95 0112175076903 通常 0件
0002 中央館 書庫5層-洋
410.8/L1/95=3 0112175227322 通常 0件
No. 0001
巻号
所蔵館 中央館
配置場所 研究室-理
請求記号 410.8/L1/95
資料ID 0112175076903
状態 通常
返却予定日
予約 0件
No. 0002
巻号
所蔵館 中央館
配置場所 書庫5層-洋
請求記号 410.8/L1/95=3
資料ID 0112175227322
状態 通常
返却予定日
予約 0件

書誌詳細

標題および責任表示 Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y. / A.S. Troelstra
出版・頒布事項 Berlin ; Heidelberg ; New York : Springer-Verlag , 1969
形態事項 111 p. ; 28 cm
書誌構造リンク Lecture notes in mathematics <BB00460043> 95//a
注記 Bibliography: p. 108-111
学情ID BA06680058
本文言語コード 英語
著者標目リンク Troelstra, A. S. (Anne Sjerp) <AU00110196>
分類標目 LCC:QA3
分類標目 DC:164
件名標目等 Intuitionistic mathematics