戻る

この文献を取り寄せる

図書館へ購入を依頼する

この情報を出力する

このページのリンク

他の検索サイト

Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... [et al.]
(Lecture notes in mathematics ; 897)

データ種別 図書
出版者 Berlin : Springer-Verlag
出版年 1981
形態 v, 383 p. : ill. ; 25 cm
著者標目 Buchholz, Wilfried, 1948-
件　名 LCSH:Mathematical analysis -- Foundations  全ての件名で検索
LCSH:Induction (Mathematics)
LCSH:Proof theory
分　類 NDC:410.8
NDC:410.1
DDC:510 s
DDC:511
LCC:QA3
LCC:QA299.8
書誌ID LT00170195

所蔵情報を非表示


中央自動書庫 410.8/D84/1-897 0105435630109 9783540111702




書誌詳細を非表示

本文言語 英語
一般注記 Bibliography: p. [358]-368
Includes index
NCID BA04001778
巻冊次 ISBN:3540111700
目次／あらすじ

 類似資料

戻る