WebOPAC Local書誌詳細

長岡工業高等専門学校

ヘルプログイン

書誌詳細

長岡工業高等専門学校

検索結果一覧へ戻る

	Büchi's monadic second order successor arithmetic Dirk Siefkes. -- Springer-Verlag, 1970. -- (Lecture notes in mathematics ; 120)(Decidable theories ; 1). <BB01545684> 便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる詳細情報を見る書誌URL：

Büchi's monadic second order successor arithmetic Dirk Siefkes. -- Springer-Verlag, 1970. -- (Lecture notes in mathematics ; 120)(Decidable theories ; 1). <BB01545684> 便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる詳細情報を見る書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No.	巻号	所蔵館	配置場所	請求記号	資料ID	状態	コメント	返却予定日	予約
0001		長岡高専	開架図書	410.8\|\|L49\|\|120	002109270				0件


No.	0001
巻号
所蔵館	長岡高専
配置場所	開架図書
請求記号	410.8\|\|L49\|\|120
資料ID	002109270
状態
コメント
返却予定日
予約	0件

このページのTOPへ

書誌詳細

標題および責任表示	Büchi's monadic second order successor arithmetic / Dirk Siefkes
出版・頒布事項	Berlin : Springer-Verlag , 1970
形態事項	xii, 130 p. ; 26 cm
書誌構造リンク	Lecture notes in mathematics <BB01381756> 120//a
書誌構造リンク	Decidable theories <BB00201485> 1//a
注記	Bibliography: p. [125]-127
学情ID	BA0680937X
本文言語コード	英語
著者標目リンク	*Siefkes, Dirk <NC:DA0225885X>
分類標目	LCC:QA3
分類標目	DC:511/.65
件名標目等	Predicate calculus
件名標目等	Sequential machine theory

このページのTOPへ

検索結果一覧へ戻る

このページのTOPへ