このページのリンク

他の検索サイト

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

所蔵情報を非表示

品川図書館 / 一般図書
410.1/Ta33 0091032490 9103249

書誌詳細を非表示

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

 類似資料