ログイン
図書館トップページはこちら
目録検索 ▼
検索トップへ
分類検索
雑誌タイトルリスト
新着案内
貸出ランキング
アクセスランキング
レビュー一覧
タグ検索
利用者サービス ▼
利用状況の確認
ブックマーク
お気に入り検索
レビュー履歴
タグ履歴
新着アラート
文献複写依頼
図書貸借依頼(学外)
新規購入依頼
≡
書誌詳細
神戸学院大学図書館
検索結果一覧へ戻る
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
Wilfried Buchholz ... [et al.] ; : Berlin, : New York. -- Springer-Verlag, 1981. -- (Lecture notes in mathematics ; 897). <TY60000448>
この書誌にはまだスタンプは押されていません。
登録タグ:
登録されているタグはありません
便利機能:
目次・あらすじを見る
レビューを見る
詳細情報を見る
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
Wilfried Buchholz ... [et al.] ; : Berlin, : New York. -- Springer-Verlag, 1981. -- (Lecture notes in mathematics ; 897). <TY60000448>
この書誌にはまだスタンプは押されていません。
登録タグ:
登録されているタグはありません
便利機能:
目次・あらすじを見る
レビューを見る
詳細情報を見る
他の巻号選択
巻号を選択すると、画面が選択した巻号の情報に切り替わります。
: Berlin
: New York
このウインドウを閉じる
所蔵一覧
1件~1件(全1件)
ナンバーをクリックすると所蔵詳細をみることができます。
10件
20件
50件
100件
No.
巻号
所蔵館
配置場所
請求記号
資料ID
禁帯出区分
状態
返却予定日
予約
0001
: Berlin
有瀬館
新館B2 G-L
410.8/Lec
902870008
帯出可
0件
No.
0001
巻号
: Berlin
所蔵館
有瀬館
配置場所
新館B2 G-L
請求記号
410.8/Lec
資料ID
902870008
禁帯出区分
帯出可8
状態
返却予定日
予約
0件
このページのTOPへ
目次・あらすじ
このページのTOPへ
レビュー
このページのTOPへ
書誌詳細
標題および責任表示
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... [et al.]
出版・頒布事項
Berlin ; New York : Springer-Verlag , 1981
形態事項
v, 383 p. : ill. ; 25 cm
巻号情報
巻次等
: Berlin
ISBN
3540111700
巻号情報
巻次等
: New York
ISBN
0387111700
書誌構造リンク
Lecture notes in mathematics <TY00039630> 897//a
注記
Bibliography: p. [358]-368
注記
Includes index
学情ID
BA04001778
本文言語コード
英語
著者標目リンク
Buchholz, Wilfried, 1948- <AU60000665>
分類標目
LCC:QA3
分類標目
LCC:QA299.8
分類標目
DC19:510 s
分類標目
DC19:511
件名標目等
Mathematical analysis -- Foundations
件名標目等
Induction (Mathematics)
件名標目等
Proof theory
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ
関連情報<<
関連情報
関連資料
親書誌をみる
Lecture notes in mathematics
著者からさがす
Buchholz, Wilfried, 1948-
分類からさがす
LCC:QA3
LCC:QA299.8
DC19:510 s
DC19:511
件名からさがす
Mathematical analysis -- Foundations
Induction (Mathematics)
Proof theory
他の検索サイトで探す
NDLSearch
CiNii Books
他大学資料確認
他大学(NII):同一条件検索
他大学(NII):同一書誌検索
資料を取り寄せる
文献複写依頼(コピー取り寄せ)
図書貸借依頼(学外)