こちらに共通ヘッダが追加されます。
検索結果一覧に戻る

この情報を出力する

このページのリンク

他の検索サイト

Proof theory and intuitionistic systems / Bruno Scarpellini
(Lecture notes in mathematics ; 212)

データ種別 図書
出版者 Berlin ; New York : Springer-Verlag
出版年 1971
大きさ vii, 290, [1] p ; 26 cm

所蔵情報を非表示

経済学部
410.8||L2||212 770921012


書誌詳細を非表示

書誌ID BB00091095
本文言語 英語
一般注記 Bibliography: p. [291]
著者標目  *Scarpellini, Bruno
件　名 LCSH:Intuitionistic mathematics
LCSH:Proof theory
分　類 LCC:QA3
LCC:QA9
DC:511/.3
巻冊次 : Germany ; ISBN:354005541X RefWorks出力（各巻）
: U.S. ; ISBN:038705541X RefWorks出力（各巻）
NCID BA06685732
目次・あらすじ

 類似資料

検索結果一覧に戻る