Proof theory and intuitionistic systems

- Scarpellini, Bruno

関連文献: 1件

著者

- Scarpellini, Bruno

書誌事項

Proof theory and intuitionistic systems

Bruno Scarpellini

（Lecture notes in mathematics, 212）

Springer-Verlag, 1971

: Germany
: U.S.

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

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

: Germany510.8||L1||21272000149

OPAC
茨城大学附属図書館工学部分館分

: Germany410:160000420971

OPAC
岩手大学図書館

: Germany410.4:L49:2120202777355

OPAC
愛媛大学図書館研

: Germany410.8||L1||2120112175083816

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

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

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

: Germany510.4||LeY8326064

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

: Germany410.8//L00013655709

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

: Germany07122030195

OPAC
大阪大学附属図書館理工学図書館

: Germany07282001804

OPAC
岡山大学図書館学部

: Germany410.1/S016000504049

OPAC
岡山大学図書館附属図

: Germany410.1/S012110215669

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

: Germany410.8/L49s/212203495900011

OPAC
学習院大学図書館図

: Germany410.8A/L49L/2120200124427,0000124427

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

: Germany02024298

OPAC
九州大学理系図書館

068222480032345

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

: Germany410.8||L 49||21258939

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

: Germany410.8||L||212(B)85125954

OPAC
京都産業大学図書館

: Germany410.8||LEC||21200145943

OPAC
京都大学基礎物理学研究所図書室基物研

: GermanyH||LEC||MA||21290024364

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

: GermanyL/N||LNM||2121810889

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

: Germany : pbk610||||8261816949

OPAC
京都大学理学部数学

: GermanySer.||G 25||2121824955

OPAC
近畿大学中央図書館中図

410.8-L49-21210080639

OPAC
岐阜大学図書館

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

: Germany410.8:L49:212007303950

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

: Germany30587573

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

: Germany410-4-L//212031010018283

OPAC
佐賀大学附属図書館図

: Germany410.8-L 49-212127070620

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

: Germany410.8/L49/2120300211836

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

: Germany410.11/38100272858

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

: GermanyZ21987

OPAC
城西大学水田記念図書館

2122013057201

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

: Germany410||L 49||212000000010893

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

: Germany410.8-L4910077326328

OPAC
東京海洋大学附属図書館科国際海洋政策

: Germany413.9||B7898563

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

: Germany410.8/L/212300309836

OPAC
東京大学柏図書館数物

: GermanyBE:LNM:2128950117237

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

: GermanyFU:Sc8001191850,8001075129

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

: Germany03850626262

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

: Germany04840109514

OPAC
徳島大学附属図書館

: Germany410.7||Le||212282102383

OPAC
富山大学附属図書館図

: Germany410.7||L49||21290080440,90082055

OPAC
同志社大学図書館

: Germany410.8;L2;21240;7709210127

OPAC
獨協大学図書館図

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

002113322

OPAC
名古屋工業大学図書館

: U.S.410.1||Sc 1

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

: Germany410.8||L||212||閉架41639092

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

: GermanySCA||8||1||1292340456294

OPAC
奈良教育大学図書館

410.8||39||2127880168100

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

: GermanyF517.1||65345895

OPAC
新潟大学附属図書館図

: Germany410.8//L49//2122085045179

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

: Germany410.8||L49||21212452017

OPAC
一橋大学附属図書館図

: Germany*SAe**21**212128006203M

OPAC
兵庫県立大学神戸商科学術情報館

: Germany410.8||17||2122043401

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

: Germany410.8||142||21294029464

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

: Germany410.8/L/2120111233045

OPAC
福井大学附属図書館

: Germany410.8||LEC||2127509219

OPAC
福岡工業大学附属図書館図書館

: Germany410.8/L6954557

OPAC
福岡大学図書館

: Germany10276125

OPAC
福島大学附属図書館

: Germanys581595*

OPAC
佛教大学附属図書館図

: Germany0000278114

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

: GermanyC22.3||S5190146

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

: Germany/SCA 762080107352

OPAC
三重大学附属図書館

: Germany410.8/L 49/21229309353

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

: Germany410.4||v.212032302

OPAC
明治学院大学図書館図

510.8:L:212

OPAC
明治大学図書館生

: Germany410||120-212||B||K28818002

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

: Germany410.8/L217/2120410108379

OPAC
立教大学図書館

: Germany00325582

OPAC
立命館大学図書館

: Germany7110073040

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

: Germany219890052212

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

この図書・雑誌をさがす

注記

Bibliography: p. [291]

Proof theory and intuitionistic systems

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Proof theory and intuitionistic systems

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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