このページのリンク

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

所蔵情報を非表示

積層4層 : Germany 410.8||L||447 9851545541
3540071490

書誌詳細を非表示

一般注記 Bibliography: p. [335]-339
著者標目  *Toledo, Sue Ann, 1940-
分 類 LCC:QA3
LCC:QA9.54
DC:510/.8 s
DC:511/.3
NDC8:410.9
件 名 LCSH:Proof theory
LCSH:Numbers, Theory of
LCSH:Predicate calculus
NDLSH:超数学
NDLSH:整数論
書誌ID TY00017377
ISBN 3540071490
NCID BA00402926