Proof theory and logical complexity

- Girard, Jean-Yves

関連文献: 1件

著者

- Girard, Jean-Yves

書誌事項

Proof theory and logical complexity

Jean-Yves Girard

（Studies in proof theory : monographs, 1）

Bibliopolis, c1987-

v. 1 : Italy
v. 1

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

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

v. 1410.12||G47||192000224

OPAC
茨城工業高等専門学校学術総合情報センター図書館図

v. 1410.9/Pr908711

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

v. 1410.1||G47||1090010004340

OPAC
金沢大学附属図書館自然図自動書庫

v. 1 : Italy410.1:G517:10300-51326-7

OPAC
九州大学中央図書館

V. 1.410.1/G 47/1(1)068582189000118

OPAC
九州大学理系図書館

V. 1.410.1/G 47068252193006260

OPAC
京都産業大学図書館

v. 1410.12+1598781 663330 741969

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

v. 1 : ItalyGIR||9||1-188042127, v. 1GIR||9||1-190098178

OPAC
京都大学大学院情報学研究科

v. 1 : ItalyM,1987||1.1||13397018061

OPAC
京都大学理学部数学

v. 1 : ItalyGIR||01||01E200037032602

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

v. 1410.12-G47-110349705

OPAC
岐阜大学図書館

v. 1410.12||Gir120483700

OPAC
熊本大学附属図書館

v. 1410.96||G,4710092083

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

v. 1410.12:G47200400052

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

v. 1 : Italy410-9-151//1030202000997

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

v. 1 : Italy410-96-GIR//1020200303998

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

v. 1410.96-3//1s040000184262*

OPAC
神戸大学附属図書館総合図書館国際文化学図書館

v. 1S061000109023*

OPAC
国立情報学研究所

v. 1 : Italy2003||520100145273

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

v. 1 : Italy410.9/G47/10088154653

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

v. 1 : Italy410.1/1808189042834

OPAC
専修大学図書館図

v. 1 : Italy20554913

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

v. 1410.12||G 47||1G075495A

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

v. 1 : Italy10089310126

OPAC
東海学園大学図書館

v. 1 : Italy410.1||Gi100016692

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

v. 1 : ItalyY025252115322060

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

v. 1 : ItalyFU:Gi2012111791

OPAC
東北大学電気通信研究所図書室

v. 106900009163

OPAC
豊橋技術科学大学附属図書館図

v. 1410.96||GI||191900099

OPAC
名古屋工業大学図書館

v. 190202847

OPAC
名古屋大学工学図書室工電気情報

v. 1410.96||G41024368

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

v. 1410.9||G1041398

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

v. 1 : ItalyGIR||5||1A40938108

OPAC
鳴門教育大学附属図書館

v. 1410.96//G47H9020928*

OPAC
新潟大学附属図書館図

v. 1 : Italy007//G471300641612, v. 1410.96//G47H134637*

OPAC
日本大学工学部図書館図

v. 1 : Italy410.9||G 47||(1)E9301386

OPAC
一橋大学附属図書館図

v. 1 : ItalySb:1516:1128040042L

OPAC
広島大学図書館中央図書館

v. 1150310

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

v. 1 : ItalyC22.3/ G /1:6953128

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

v. 1DC19:511.3/G4412070176311

OPAC
北海道大学附属図書館図

v. 1 : Italy511.3/G4410580993801

OPAC
三重大学附属図書館

v. 1410.1/G 47/129477555

OPAC
山形大学中央図書館

v. 1 : Italy116//STU//1119402976

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

v. 1 : Italy410.12/G4700208011293

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

v. 1410.96//PRH0302886*

OPAC
立教大学図書館

v. 1 : Italy88-38552

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

この図書・雑誌をさがす

注記

Includes bibliographies and index

Proof theory and logical complexity

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Proof theory and logical complexity

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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