OPAC

検索結果一覧に戻る

ケイサンロン : ケイサンカノウセイトラムダケイサン
計算論 : 計算可能性とラムダ計算 / 高橋正子著
(コンピュータサイエンス大学講座 ; 24)

データ種別	図書
出版者	東京 : 近代科学社
出版年	1991.8
本文言語	日本語
大きさ	iv, 191p ; 22cm
著者標目	高橋, 正子 <タカハシ, マサコ>

所蔵情報を非表示

巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
	射水-2階-和書	007.6\|\|C86\|\|24	101015287		1993			4764901846	予約		予約
	射水-2階-和書	007.6\|\|C86\|\|24	101095297		1993			4764901846	予約		予約
	射水-2階-電動書庫	007.6\|\|C86\|\|24	101086486		1993			4764901846	予約	請求メモ	予約	請求メモ

書誌詳細を非表示

一般注記	参考文献: p181-183. 索引: 巻末
件　名	NDLSH:数学基礎論
分　類	NDC8:410.9 NDC7:410.1
書誌ID	B000068224
ISBN	4764901846
NCID	BN06616709