Büchi's monadic second order successor arithmetic

Dirk Siefkes

この本の情報

書名 Büchi's monadic second order successor arithmetic
著作者等 Siefkes, Dirk
シリーズ名 Decidable theories
Lecture notes in mathematics
出版元 Springer-Verlag
刊行年月 1970
ページ数 xii, 130 p.
大きさ 26 cm
NCID BA0680937X
※クリックでCiNii Booksを表示
言語 英語
出版国 ドイツ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想