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

この情報を出力する

このページのリンク

他の検索サイト

Tableau systems for first order number theory and certain higher order theories / Sue Toledo
(Lecture notes in mathematics ; 447)

データ種別 図書
出版者 Berlin ; New York : Springer-Verlag
出版年 1975
大きさ 339 p. ; 25 cm

所蔵情報を非表示

経済学部
410.8||L2||447 770921245


書誌詳細を非表示

書誌ID BB00007720
本文言語 英語
一般注記 Bibliography: p. [335]-339
著者標目  *Toledo, Sue Ann, 1940-
件　名 LCSH:Proof theory
LCSH:Numbers, Theory of
LCSH:Predicate calculus
NDLSH:超数学
NDLSH:整数論
分　類 LCC:QA3
LCC:QA9.54
DC:510/.8 s
DC:511/.3
NDC8:410.9
巻冊次 : Germany ; ISBN:3540071490 RefWorks出力（各巻）
: U.S. ; ISBN:0387071490 RefWorks出力（各巻）
NCID BA00402926
目次・あらすじ

 類似資料

検索結果一覧に戻る