Introduction to higher order categorical logic

関連文献: 1件

著者

書誌事項

J. Lambek, P.J. Scott

（Cambridge studies in advanced mathematics, 7）

Cambridge University Press, 1988, c1986

: pbk

並立書誌全1件

Introduction to higher order categorical logic / J. Lambek, P.J. Scott
BA29609620

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

会津大学情報センター (附属図書館)図

: pbkQA169

OPAC
青山学院大学万代記念図書館(相模原分館)

: pbk880950275

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

: pbk411.6:Lam219001126

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

: pbk.415-l16-72288010107

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

: pbk512.55/LaB9601551

OPAC
大阪大学大学院人間科学研究科図書室

: pbk10900675447

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

: pbk12200050719

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

: pbk/411.6/L174962

OPAC
鹿児島国際大学附属図書館図

: pbk411//L50001515431

OPAC
鹿児島大学附属図書館

OPAC
九州工業大学附属図書館情報工学部分館

: pbk415.1||L-26000488

OPAC
九州大学中央図書館

: pbk412.7/L 16/1068582188007176

OPAC
九州大学理系図書館

: pbk411.6/L 16003211997002942, 412.6/L 17068252190009477

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

: pbk410.8||C12||789008171

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

M,1986||1.1||11986052225

OPAC
京都大学理学部数学

Ser.||E 29||114-1586055786

OPAC
熊本大学附属図書館

411.6||L,1610089054

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

411.6||L-1690049811

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

: pbk410-7-5//7-C030200107448, 410-7-5//7031008613713

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

411.6-1s040000180556*

OPAC
国立情報学研究所

2001||811100128862

OPAC
埼玉大学図書館数学

411.6:LY0064907

OPAC
埼玉大学図書館養英語

411.6:LY701448X

OPAC
滋賀医科大学附属図書館図

: pbkMD||GE||MT201100446

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

411.6/L160090016007, : pbk411.6/L160097004816

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

410.1/248500011856

OPAC
千葉大学附属図書館教数学

S08607839*

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

Y28368115210963

OPAC
東京大学柏図書館数物

: pbkM:Lambek8950054976

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

FU:La2012012205, : pbkFU:La8010214578

OPAC
東京大学先端科学技術研究センター図書室図書室

: pbk512.58:I617612084264

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

06880000222

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

06880000222

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

: pbk03100041223

OPAC
富山大学附属図書館図

411.6||L17||In00149905

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

: pbk411.6/L0:0071606

OPAC
名古屋造形大学図書館

: pbk000339474

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

: pbk411.6||L41641718

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

LAM||4||4||2655240892061

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

: pbk20170116

OPAC
新潟大学附属図書館図

: pbk411.6//L161880177670, 410.8//L16//71880210380

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

: pbk||510.8||C178||72200918

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

: pbk412.8||L 1613795713

OPAC
日本福祉大学付属図書館

: pbk1500893332

OPAC
一橋大学附属図書館図

*SAe**70**7128031326Q

OPAC
広島市立大学附属図書館

: pbk410.96LA0001451511

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

150310

OPAC
福岡大学図書館

10911753

OPAC
放送大学附属図書館

411.6||I 5711517963

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

C22.5||L166951168

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

: pbkC22.5||L5950920

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

512.55/L1712070011151

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

512.6/L1710580285632

OPAC
三重大学附属図書館

: pbk410.8/C 14/729186327

OPAC
明治学院大学図書館横図

512:C:71100585130

OPAC
酪農学園大学附属図書館研

: pbk10400583

OPAC
立教大学図書館

: pbk93-38778

OPAC
立命館大学図書館

: pbk7310062504

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

この図書・雑誌をさがす

注記

Bibliography: p. [279]-288

Includes index

Introduction to higher order categorical logic

著者

書誌事項

並立書誌全1件

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Introduction to higher order categorical logic

著者

書誌事項

並立書誌 全1件

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

並立書誌全1件

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