Constructivism in mathematics : an introduction

関連文献: 1件

著者

書誌事項

A.S. Troelstra, D. van Dalen

（Studies in logic and the foundations of mathematics, v. 121, 123）

North-Holland, 1988

v. 1
v. 1:pbk.
v. 2

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

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

v. 1 : HB410.12||T84||188009304, v. 2410.12||T84||288013717

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

v. 1QA9.56.T74 1988, v. 2QA9.56.T74

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

v. 1510||TrY8314350, v. 2511.3||TrY8748799

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

v. 112200014681, v. 1 : HB08890010427, v. 208890010435

OPAC
岡山大学図書館教育数

v. 1410.1||TS016000031771*, v. 2410.0 ||TS016000028612

OPAC
学習院大学図書館数学図

v. 10000322600, v. 20000325450

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

v. 1410.1||T-5||16010140, v. 2410.1||T-5||26010141

OPAC
九州大学理系図書館

V. 1.410.96/Tr 6/(1)068252191008096, V. 2.410.96/Tr 6/(2)068252191008107

OPAC
京都産業大学図書館

v. 1410.12+1650412, v. 2410.12+2662076, 673135

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

v. 1TRO||5||4-188042137, v. 2TRO||5||4-288069669

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

v. 1:pbk.||TRO 1||1-1200041589141, v. 2||TRO 1||199081477

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

v. 1 : HB410.9||T||288074375, v. 2410.9||T||288082869

OPAC
京都大学理学部数学

v. 2Ser.||M 14||196-28.288070861, v. 1 : HBSer.||M 14||196-28.188042797

OPAC
岐阜大学図書館

v. 1410.12||Tro120477700, v. 2410.12||Tro120477718

OPAC
高知工科大学附属情報図書館

v. 1857400107175

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

v. 1 : HB410-9-1//1211008806219, v. 2410-9-1//123S031008809370*

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

v. 1410-96-CON//1020200303892

OPAC
神戸大学附属図書館社会科学系図書館

v. 19-1-1545//1011009503031, v. 29-1-1545//2s011009503032*

OPAC
公立鳥取環境大学情報メディアセンター

v. 1:pbk.410.96||Tr6||100080769

OPAC
国立情報学研究所

v. 12001||764100128354, v. 22012||803110150041

OPAC
埼玉大学図書館数学

v. 1(pbk)410.9:TY882022X

OPAC
札幌学院大学図書館

v. 10920105548, v. 20920104940

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

v. 1410.96/TR6/10090184441, v. 2410.96/TR6/20089011134

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

v. 1410.96/TR6/10088073739, v. 1:pbk.410.96/15/18189042545, v. 2410.96/TR6/20088175930

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

v. 10089103114, v. 20089103125

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

v. 1 (HB)H0816016*

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

v. 1:pbk.410.12||Tr 6||1G073111A, v. 2410.12||Tr 6||2G073102A

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

v. 2ikkatu

OPAC
東海大学付属図書館札幌図書館

v. 1410.96||T||1020000176378, v. 2410.96||T||2020000176379

OPAC
東京学芸大学附属図書館数学

v. 1:pbk.410.12/Tr619012502, v. 2410.12/Tr619012503

OPAC
東京大学駒場図書館其他

vol.1164:Tr

OPAC
東京大学駒場図書館駒場図

vol. 1: pbk511.3:T843:13315221014, vol. 2511.3:T843:23315454870

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

v. 1FU:Tr2012164097, v. 2FU:Tr2012178394

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

v. 1510.6:C758:17612012059, v. 2510.6:C758:27612012067

OPAC
東京都立大学図書館数学

v. 1:pbk./410.8/St9/121002252510, v. 2/410.8/St9/123003054006

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

v. 106000006223, v. 206880008616

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

v. 206880008616

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

v. 102900009640, v. 202900009658

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

v. 103240003656, v. 203240006410

OPAC
東洋大学附属図書館

v. 1410.1:TA:1-12102452501, v. 2410.1:TA:1-22102452493

OPAC
徳島大学附属図書館

v. 1410.8||St||121018802364, v. 2410.8||St||123018900991

OPAC
鳥取大学附属図書館図

v. 1410.96:Con:(1)0010275626, v. 2410.96:Con:(2)0010275634

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

OPAC
同志社大学図書館

v. 1410.96||T9102||1114000246, v. 2410.96||T9102||2064000436

OPAC
長崎大学附属図書館

v. 1410.96||88||11406802, v. 2410.96||88||21406803

OPAC
名古屋工業大学図書館

v. 1410.1||Tr 6||1, v. 2410.1||Tr 6||2

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

v. 1410.96||T40965633

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

v. 2410.96||T40965634

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

v. 1410.96||T40962223, v. 2410.96||T40965462

OPAC
名古屋大学附属図書館中央図1F

v. 1410.96||T987396, v. 2410.96||T994876

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

v. 1TRO||2||4A40957548, v. 2TRO||2||4B40961944

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

v. 1F511.3||9393200635, v. 2F511.3||9393200636

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

v. 1410.8//ST9T0055280*, v. 2410.8//ST9T0055283*

OPAC
新潟工科大学附属図書館

v. 1:pbk.410.96/Tr 6/1000039801

OPAC
新潟大学附属図書館図

v. 1410.96//Tr6//11880210710, v. 2410.96//Tr6//21880289948

OPAC
一橋大学附属図書館図

v. 14100:83:121228002447T, v. 24100:83:123228002449V

OPAC
兵庫教育大学附属図書館

v. 1 : HB410.96//TRH706022*, v. 100009304234

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

v. 1410.9||ST9||12105848552, v. 2410.9||St9||12305848576

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

v. 1410.96||C||10112371844, v. 2410.96||C||20112371836

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

v. 1:pbk.410.96ST1210002827742, v. 2410.96ST1230001469592

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

v. 1 (HB)115340, v. 2150310

OPAC
広島文化学園大学広島坂キャンパス図書館

v. 10009077

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

v. 1C22.3||T||15920137, v. 2C22.3||T||26920526

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

v. 1:pbk.C22.3||T||15170102, v. 2C22.3||T||25200467

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

v. 1 : PBDC19:511.3/T7432070300617, v. 2DC19:511.3/T7432070296167

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

v. 2511.3/T7430570342801

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

v. 1dc20:511.3/t7430171087100, v. 2dc19:511.3/t7430170865430

OPAC
三重大学附属図書館

v. 2116.08/St 9/12329357013

OPAC
明治学院大学図書館経済

v. 1511.3:T84:10105382121

OPAC
山形大学中央図書館

v. 2410.96//CON//2119104429

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

v. 2410.96//TRH066455*

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

v. 1 (HB)410.96//TRH049017*

OPAC
立教大学図書館

v. 188-34890, v. 288-38535

OPAC
立命館大学図書館

v. 1:pbk.7310588733, v. 27310588745

OPAC
龍谷大学瀬田図書館図

v. 239800009460

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

この図書・雑誌をさがす

注記

"This book is dedicated to the memory of our teacher Arend Heyting"--P. iii of v. 2

Bibliography: v. 1, p. [327]-342; v. 2, p. 853-879

Includes indexes

Constructivism in mathematics : an introduction

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Constructivism in mathematics : an introduction

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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