WebOPAC Local書誌詳細

長岡工業高等専門学校

ヘルプログイン

書誌詳細

長岡工業高等専門学校

検索結果一覧へ戻る

	Proof theory and intuitionistic systems Bruno Scarpellini ; : Germany, : U.S.. -- Springer-Verlag, 1971. -- (Lecture notes in mathematics ; 212). <BB01272423> 便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる詳細情報を見る書誌URL：

Proof theory and intuitionistic systems Bruno Scarpellini ; : Germany, : U.S.. -- Springer-Verlag, 1971. -- (Lecture notes in mathematics ; 212). <BB01272423> 便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる詳細情報を見る書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No.	巻号	所蔵館	配置場所	請求記号	資料ID	状態	コメント	返却予定日	予約
0001		長岡高専	開架図書	410.8\|\|L49\|\|212	002113322				0件


No.	0001
巻号
所蔵館	長岡高専
配置場所	開架図書
請求記号	410.8\|\|L49\|\|212
資料ID	002113322
状態
コメント
返却予定日
予約	0件

このページのTOPへ

書誌詳細

標題および責任表示

Proof theory and intuitionistic systems / Bruno Scarpellini

出版・頒布事項

Berlin ; New York : Springer-Verlag , 1971

形態事項

vii, 290, [1] p ; 26 cm

巻号情報

巻次等	: Germany
ISBN	354005541X

巻号情報

巻次等	: U.S.
ISBN	038705541X

書誌構造リンク

Lecture notes in mathematics <BB01381756> 212//a

注記

Bibliography: p. [291]

学情ID

BA06685732

本文言語コード

英語

著者標目リンク

*Scarpellini, Bruno <NC:DA07565594>

分類標目

LCC:QA3

分類標目

LCC:QA9

分類標目

DC:511/.3

件名標目等

Intuitionistic mathematics

件名標目等

Proof theory

このページのTOPへ

検索結果一覧へ戻る

このページのTOPへ