Computability and logic
[by] George Boolos [and] Richard Jeffrey
Cambridge University Press, c1974
BD05159689
茨城大学 附属図書館 工学部分館分
410:155000420963
OPAC
宇都宮大学 附属図書館 陽東分館
410.12|| 12270072255
大阪公立大学 中百舌鳥図書館
9100012571
大阪大学 附属図書館 総合図書館
07909028396
大阪大学 附属図書館 理工学図書館
07426027582
岡山大学 附属図書館
410.1/B011217718881
小樽商科大学 附属図書館
059934
九州大学 理系図書館
026232003050255
京都大学 数理解析研究所 図書室数研
BOO||10||1||複本2561823
京都大学 大学院 情報学研究科
I,1974||2.3||4684072954
京都大学 理学部数学
BOO||04||012067607
京都ノートルダム女子大学 図書館情報センター
QA/248.5/.B66252961
近畿大学 中央図書館中図
549.92-B6410128138
神戸大学 附属図書館 自然科学系図書館
418-6-B031010023252
筑波大学 附属図書館 中央図書館
ikkatu
東海学園大学 図書館
410.96||Bo100092348
東京大学 大学院人文社会系研究科・文学部 図書室美学
3号館B:2694800281802
東京理科大学 野田図書館理工情報
410.12||B 6460077271
名古屋工業大学 図書館
414||B 64
名古屋大学 工学 図書室工中央書庫
418.6||B40558033
名古屋大学 情報・言語合同図書室情報・言語
418.6||B50007302
名古屋大学 理学 図書室理数理
BOO||3||1||1622540541352
広島大学 図書館 東図書館
410.1:B6000103144
北海道大学 大学院工学研究科・工学部図書室図書
dc19:511.3/b6453520961320
北海道大学 附属図書館図
164/B6440521176178
山口大学 図書館 総合図書館
116.2/B6650410300442
山口大学 図書館 工学部図書館
116.3/B6652080046614