このページのリンク

The monadic second order theory of all countable ordinals / J. Richard Büchi, Dirk Siefkes
(Lecture notes in mathematics ; 328)
(Decidable theories ; 2)

データ種別 図書
出版者 Berlin ; New York : Springer
出版年 1973
本文言語 英語
大きさ vi, 217 p. ; 26 cm

所蔵情報を非表示

積層4層 : Germany 410.8||L||328 9851399486
3540063455

書誌詳細を非表示

内容注記 The monadic second order theory of ω[1] / J. Richard Büchi
Axiomatization of the monadic second order theory of ω[1] / J. Richard Büchi, Dirk Siefkes
一般注記 Includes bibliographies
著者標目  *Büchi, J. Richard, 1924-1984
 Siefkes, Dirk
分 類 LCC:QA3
LCC:QA9.65
DC:510/.8 s
DC:511/.3
件 名 LCSH:Gödel's theorem
LCSH:Model theory
書誌ID TY00017471
ISBN 3540063455
NCID BA06659481