<図書>

ケイサンロン : ケイサン カノウセイ ト ラムダ ケイサン

計算論 : 計算可能性とラムダ計算 / 高橋正子著

(コンピュータサイエンス大学講座;24)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
総合図・3F開架
410.9:Ta33 0011217882
1993 T20:3359
工2・図書室
007.6:C85:24 1010367975

2019年度シラバス掲載図書
理7・CS図
YN:147 2010060057

保存書庫(旧研究室資料)
理7・CS図
11:T:19 2310038761


理7・CS図
11:T:19A 2310038779


理図・学生用図書
53:A10:9 2013494139
2016.2 学生用図書, (旧物理)
理図・学生用図書
53:A10:9 2013494147
2016.2 (旧物理)
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
駒場図・4F開架
410.9:Ta33 3012542324
2009
数理科学・図書
FU:Takahashi:M. 8010601600
2012
4

駒場Ⅱキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
先端研・図書
510.5:Ke27 7612082730


5

柏キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
柏図・開架
410.9:Ta33 8410299583


書誌詳細を非表示

出版者 東京 : 近代科学社
出版年 1991.8
大きさ iv, 191p ; 22cm
一般注記 参考文献: p181-183. 索引: 巻末
著者標目 高橋, 正子 <タカハシ, マサコ>
件 名 NDLSH:数学基礎論
分 類 NDC8:410.9
NDC7:410.1
本文言語 日本語
書誌ID 2000270025
ISBN 4764901846
NCID BN06616709 WCLINK

ページトップ