束と論理

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

1

2

3

4

5

6

7

8

9

10

11

12

1 図書数理論理学松本, 和夫(1922-) 共立出版	7 図書数学基礎論講義 : 不完全性定理とその発展田中, 一之, 鹿島, 亮, 角田, 法也, 菊池, 誠日本評論社
2 図書数学と論理難波, 完爾(1939-) 朝倉書店	8 図書組織変動の理論松本和良学文社
3 図書論理と計算萩谷, 昌己 (1957-), 甘利, 俊一 (1936-) 岩波書店	9 図書科学技術社会学の理論松本, 三和夫(1953-) 木鐸社
4 図書記号論理学 Kneebone, Geoffrey Thomas, 安藤, 洋美明治図書出版	10 図書船の科学技術革命と産業社会 : イギリスと日本の比較社会学松本, 三和夫(1953-) 同文舘出版
5 図書数理論理学入門入江, 盛一(1911-) 培風館	11 図書計算モデルの基礎理論井田, 哲雄(1947-) 岩波書店
6 図書数理論理学 : 数学的理論の論理的構造前原, 昭二(1927-1992) 培風館	12 図書計算論 : 計算可能性とラムダ計算高橋, 正子近代科学社