Hyperproof
Jon Barwise & John Etchemendy ; program by Gerard Allwein, Mark Greaves, and Michael Lenz ; with additional programming by Alan Bush ... [et al.]
（CSLI lecture notes, no. 42）
CSLI Publications, c1994
愛知大学 豊橋図書館図
: pbk808:C94:420112050512
OPAC
会津大学 情報センター (附属図書館)図
: pbkQA76.B3114
大阪大学 大学院人間科学研究科 図書室
: pbk10900206615
大阪大学 附属図書館 総合図書館
: pbk16200141469
九州工業大学 附属図書館図
: pbk1042127
九州大学 理系図書館
027232003153154
近畿大学 中央図書館中図
: pbk007.63-B2510339399
熊本大学 附属図書館工(数学)
: pbk116.3/B,25102558419
熊本大学 附属図書館文(人間)
: pbk116.3/B,25103255029
熊本大学 附属図書館文(哲学)
: pbk116.3/B,25102587249
神戸大学 附属図書館 自然科学系図書館
: pbk116-0-6h039500002412*
神戸大学 附属図書館 総合図書館 国際文化学図書館
: pbk116-3-B061200100396
国際基督教大学 図書館図
: pbk116/B255h04772981, 116/B255h04772981
千葉大学 附属図書館図
: pbk116.3||HYP2000602928
筑波大学 附属図書館 中央図書館
: pbk116-B25947020489//947020496
東京大学 数理科学研究科図書
: pbkFU:Ba8010151259
東京都立大学 図書館 日野館図
: pbk/116.3/B201133683
東京農工大学 小金井図書館
: pbk11660215660
徳島大学 附属図書館
: pbk116.3||Ba019502912
名古屋大学 理学 図書室理数理
: pbkBAR||204||541452561
日本大学 文理学部図書館C
: pbk116.3||B2515174139
広島市立大学 附属図書館
: pbk116.3BA0000507202
広島文化学園大学 広島 坂キャンパス 図書館
0016951
北陸先端科学技術大学院大学 附属図書館図
: pbkC44.1||B255935034
北海道大学 附属図書館図
: pbkdc21:121.68/b2890571238794
明海大学 浦安キヤンパス メデイアセンター(図書館)
: pbk007.1-B251661611
山口大学 図書館 総合図書館
: pbk116/B0790095134937
山梨大学 附属図書館
: pbk116.3H0607094*
麗澤大学 図書館図
: pbk007.63/B25000321661
Center for the Study of Language and Information, Stanford University (CSLI)