Notre Dame journal of formal logic

茨城大学 附属図書館 工学部分館分1993-1998P110:2

34-35,36(1-3),37-39

大阪教育大学 附属図書館図1967-1974

8-15

岡山大学 附属図書館附属図1960-2002Z11

1-2,3(1),4-42,43(1-2)

神奈川県立川崎図書館収蔵C1992-1996

33-37

関西大学 図書館図1980-2016M*116.053*N1

21-24,25(2-4),26-31,32(1,3),33-54,55(1-3),56-57

九州産業大学 図書館2000-2018410/N 91/1-

41-59

京都大学 数理解析研究所 図書室数研1960-20070N0120

1-48

京都大学 吉田南総合図書館研究室1960-1981P-N

1-20,21(1-2),22(1-2)

熊本大学 附属図書館理(数学)1960-1985

1-21,22(2-4),23-26

神戸大学 附属図書館 人間科学図書館1967-2004

8-41,43-44

埼玉大学 図書館養人社共通1994-1997

35-38

静岡大学 附属図書館 浜松分館浜図1960-1994410/Z-N

1-34,35(1-3)

創価大学 中央図書館中央2007-2024継続中Z10/N-1

48-64,65(1)+

筑波大学 附属図書館 中央図書館1960-2010

1-21,23-35,36(1-4),37(1-4),38-41,42(1-3),43(1,3),44(1,3-4),45-51

東京大学 駒場図書館人1960-2015

1-18,22-56

東京理科大学 野田図書館野図1979-1997

20-38

東北大学 附属図書館本館1975-1994

16-35

東洋大学 附属図書館1967-1997P116.1:N

8-11,12(1-2,4),13-37,38(1-4)

長崎総合科学大学 附属図書館1972-1986

13-25,27(1-3)

名古屋大学 情報・言語合同図書室情報・言語1993-2018

34-59

南山大学 ライネルス中央図書館図1960-2021継続中Z/410/N97

1-62+

新潟大学 附属図書館研1990-1998410

31-35,36(1,3-4),37-39

兵庫県立大学 姫路環境人間学術情報館1997-2001

38-42

広島大学 図書館 中央図書館図・自動書庫1960-1996

1-6,27-35,36(1-3),37

広島大学 図書館 西図書館図書館1960-1985

1-26

北陸先端科学技術大学院大学 附属図書館図1960-2021

1-62

北海道大学 附属図書館 北図書館1965-1995

6-36

三重大学 附属図書館図1990-199311

31-34

立教大学 図書館1971-1971

12

早稲田大学 図書館 (中央図書館)雑誌1998-2014

39-55