The monadic second order theory of all countable ordinals

関連文献: 2件

著者

書誌事項

J. Richard Büchi, Dirk Siefkes

（Lecture notes in mathematics, 328）（Decidable theories, 2）

Springer, 1973

: Germany
: U.S.

大学図書館所蔵件 / 全66件

愛知教育大学附属図書館図

: Germany510.8||L1||32873006309

OPAC
医療創生大学図書館

: Germany410/L49/3280000798561

OPAC
愛媛大学図書館研

: Germany410.8||L1||3280112175075996

OPAC
大分大学学術情報拠点(図書館)

: Germany510.82||L1-1||32810441108

OPAC
大阪教育大学附属図書館

: Germany510.4||LeY8326048

OPAC
大阪大学附属図書館総合図書館

: Germany07317026982

OPAC
大阪電気通信大学図書館

: Germany/410.8/L1/32877512

OPAC
岡山大学図書館中央図

: Germany410.1/M012110215585

OPAC
岡山大学図書館学部

: Germany410.1/M016000504143

OPAC
お茶の水女子大学附属図書館数学

: Germany410.8/L49s/328204065100016

OPAC
香川大学図書館

: Germany410.8/L/3282112044990

OPAC
学習院大学図書館図

: Germany410.8A/L49L/3280200137922,0000137922

OPAC
九州共立大学附属図書館図

: Germany02024353

OPAC
九州大学理系図書館

: Germany058211981361421, 068222480033424

OPAC
京都教育大学附属図書館図

: Germany410.8||L 49||328Y7301162

OPAC
京都工芸繊維大学附属図書館図

: Germany410.8||L||32885139948

OPAC
京都産業大学図書館

: Germany410.8||LEC||32800183529

OPAC
京都大学数理解析研究所図書室数研

: GermanyL/N||LNM||3281979042

OPAC
京都大学吉田南総合図書館研究室

: Germany610||||9661999696

OPAC
京都大学理学部数学

: GermanySer.||G 25||3281969721

OPAC
岐阜大学図書館

OPAC
群馬大学総合情報メディアセンター中央図書館図書館

: Germany410.8:L49:328007303733

OPAC
高知大学学術情報基盤図書館中央館

: Germany30685346

OPAC
神戸大学附属図書館自然科学系図書館

: Germany410-4-L//328031010020293

OPAC
佐賀大学附属図書館図

: Germany410.8-L 49-328127070651

OPAC
静岡大学附属図書館静図

: Germany410.8/L49/3280300221116

OPAC
静岡大学附属図書館浜松分館浜図

: Germany411.7/168100299422

OPAC
湘南工科大学附属図書館

: GermanyZ22044

OPAC
総合研究大学院大学附属図書館

: Germany410||L 49||328000000011123

OPAC
筑波大学附属図書館中央図書館

: Germanyikkatu

OPAC
東京海洋大学附属図書館越中島分館自然

118183

OPAC
東京科学大学大岡山図書館

: Germany410.8/L/328300331734

OPAC
東京大学柏図書館数物

: GermanyBE:LNM:3288950118391

OPAC
東京大学数理科学研究科図書

: GermanyFU:Bu8001133944,8001076275

OPAC
東北大学附属図書館北青葉山分館図

: Germany03850631319

OPAC
東北大学附属図書館工学分館情報

: Germany04840110320

OPAC
徳島大学附属図書館

: Germany410.7||Le||328282147977

OPAC
富山大学附属図書館図

: Germany410.7||L49||32890080544,90082164

OPAC
同志社大学図書館

: Germany410.8;L2;32840;7709211271

OPAC
獨協大学図書館図

OPAC
長岡工業高等専門学校図書館

002130243

OPAC
名古屋工業大学図書館

: Germany410.8||L 49||328

OPAC
名古屋大学理学図書室理数理

: GermanyBUC||5||1||1524040511099

OPAC
奈良教育大学図書館

410.8||39||3281880823994

OPAC
奈良女子大学学術情報センター

F510.8||1041952.49

OPAC
新潟大学附属図書館図

: Germany410.8//L49//3281870104266

OPAC
新居浜工業高等専門学校図書館

: Germany410.4||LE||328T20011282*

OPAC
日本女子大学図書館研究室

: U.S.O.S.||510.8||L47||3281377101

OPAC
日本大学文理学部図書館数情

: Germany410.8||L49||32812453255

OPAC
一橋大学附属図書館図

: Germany*SAe**21**328128035446X

OPAC
弘前大学附属図書館本館

: Germany410||142||32894031280

OPAC
広島工業大学附属図書館図書館

: Germany410.8||L||3280100109651

OPAC
福井大学附属図書館

: Germany410.8||LEC||3287509263

OPAC
福岡大学図書館

: Germany10301072

OPAC
福島大学附属図書館

: Germany007785194

OPAC
佛教大学附属図書館図

: Germany0002658747

OPAC
北海道大学大学院理学研究科・理学部図書室研究室

: GermanyDC16:512.8/B862020799811

OPAC
三重大学附属図書館

: Germany410.8/L 49/32829308815

OPAC
武蔵大学図書館

: Germany410.8||F9

OPAC
室蘭工業大学附属図書館研究室

: Germany410.4||v.328034471

OPAC
明治学院大学図書館図

510.8:L:328

OPAC
明治大学図書館生

: Germany410||120-328||B||K28818064

OPAC
山口大学図書館総合図書館

: Germany410.8/L217/3280410218994

OPAC
立教大学図書館

: Germany73-04039

OPAC
立命館大学図書館

: Germany7110085466

OPAC
和歌山大学教育機構学術情報センター図書館

: Germany219890052328

OPAC
該当する所蔵館はありません
すべての絞り込み条件を解除する

この図書・雑誌をさがす

注記

Includes bibliographies

収録内容

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

The monadic second order theory of all countable ordinals

著者

書誌事項

大学図書館所蔵件 / 全66件

この図書・雑誌をさがす

注記

収録内容

関連文献： 2件中 1-2を表示

詳細情報

書き出し

The monadic second order theory of all countable ordinals

著者

書誌事項

大学図書館所蔵 件 / 全66件

この図書・雑誌をさがす

注記

収録内容

関連文献： 2件中 1-2を表示

詳細情報

書き出し

大学図書館所蔵件 / 全66件