Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies

- Buchholz, Wilfried

関連文献: 1件

著者

- Buchholz, Wilfried

書誌事項

Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies

Wilfried Buchholz ... [et al.]

（Lecture notes in mathematics, 897）

Springer-Verlag, 1981

: Berlin
: New York

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

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

: Berlin410.8||L49||89782002296

OPAC
医療創生大学図書館

: Berlin410/L49/8970000802983

OPAC
岩手大学図書館

: Berlin410.4:L49:-8970202784880

OPAC
宇都宮大学附属図書館陽東分館

410.1-D842288010115

OPAC
愛媛大学図書館研

: Berlin410.8||L1||897=20112175080748

OPAC
追手門学院大学附属図書館図

: Berlin00178404

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

: Berlin510.82||L1-1||89710441665

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

: Berlin510.4||Le||897Y8324713

OPAC
大阪公立大学杉本図書館理

: Berlin410.8//L00013663539

OPAC
大阪公立大学中百舌鳥図書館

: BerlinNDC8:410.810007227396

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

: Berlin08122038683

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

: Berlin/410.8/L1/897117385

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

: Berlin410.1/I012111403408

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

: Berlin410.8/L49s/897209833600015

OPAC
鹿児島大学附属図書館

: Berlin410.8/L49/89722186140605

OPAC
関西大学図書館図

: Berlin201802601

OPAC
学習院大学図書館図

: Berlin410.8A/L49L/8970200225937,0000225937

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

: Berlin02023939

OPAC
九州工業大学附属図書館図

: New YorkT0233194*

OPAC
九州大学理系図書館

: Berlin068582181019174, 068222182003331

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

: Berlin410.8||L 49||897Y8101368

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

: Berlin410.8||L||89785217424

OPAC
京都産業大学図書館

: Berlin410.8||LEC||89700324626

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

L/N||LNM||8978201099S

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

: Berlin610||||12082995992

OPAC
京都大学理学部数学

: BerlinSer.||G 25||8972779701

OPAC
岐阜大学図書館

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

: Berlin410.8:L49:897009200679

OPAC
神戸学院大学図書館有瀬館

: Berlin410.8||Lec85YK000466H

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

: BerlinNS-1466031050001466

OPAC
神戸大学附属図書館人間科学図書館

: New York410-8-9//897s040000161646*

OPAC
佐賀大学附属図書館図

: Berlin410.8-L 49-897127061211

OPAC
滋賀大学附属図書館

: Berlin510.7||L 49||897087145655

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

: Berlin410.8/L49/8970081262917

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

: Berlin410.8/L49/8970081262495

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

: New YorkZ22401

OPAC
中部大学附属三浦記念図書館図

: Berlin410.78||L 49||897G032753A

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

: Berlinikkatu

OPAC
電気通信大学附属図書館研

: Berlin413.9||I882218200366

OPAC
東京大学柏図書館数物

: BerlinBE:LNM:8978910005555

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

: BerlinFU:Bu8005035012,8005035020,8001069270

OPAC
東京大学大学院情報理工学系研究科CS図

: Berlin11:B:92006011262

OPAC
東北大学附属図書館本館

gw06900004891

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

: Berlin04840117129

OPAC
徳島大学附属図書館

: Berlin410.7||Le||897018901823

OPAC
鳥取大学附属図書館図

: Berlin410.1:B810105698344

OPAC
富山大学附属図書館図

: Berlin410.7||L49||89790079863,90081221

OPAC
豊田工業高等専門学校図書館

: Berlin410.8/L0:0048321

OPAC
獨協大学図書館図

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

002199636

OPAC
名古屋工業大学図書館

: Berlin414||I 88

OPAC
名古屋大学情報・言語合同図書室情報・言語

: Berlin410.8||L||897||閉架50004865

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

: BerlinSer||LNM||89740760593

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

F510.8||10482F1371

OPAC
新潟大学附属図書館図

: Germany410.8//L49S2082043921*, : Berlin410.8//L49//8972082043921

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

: Berlin410.8||L49||89712459104

OPAC
一橋大学附属図書館図

gw*SAe**21**897128035995%

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

: Berlin410||142||89794037547

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

: Berlin410.8||L||8970100112424

OPAC
福井大学附属図書館

: Berlin4138201336

OPAC
福岡大学図書館

: Germany10543563

OPAC
福島大学附属図書館

: Berlins581955*

OPAC
北陸先端科学技術大学院大学附属図書館図

: New YorkC22.3/ I /1:5920265

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

: Berlin510/L4972021140278

OPAC
三重大学附属図書館

: Berlin410.8/L 49/89729309055

OPAC
武蔵大学図書館

: Berlin410.8||F9

OPAC
明治学院大学図書館図

510.8:L:897

OPAC
明治大学図書館生

: Germany410||120-897||B||K28818562

OPAC
山形大学中央図書館

: Berlin410//L 6//897119047956

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

: Berlin410.8/L217/8970410999839

OPAC
横浜国立大学附属図書館

: Berlin410.8||LE05346202

OPAC
立教大学図書館

: New York82-31013

OPAC
立命館大学図書館

: Berlin7110212506

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

: Berlin219890052897

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

この図書・雑誌をさがす

注記

Bibliography: p. [358]-368

Includes index

Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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