数理論理学

このページのQRコード

所蔵情報

子書誌情報

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

詳細

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書数理論理学古川, 康一(1942-), 向井, 国昭コロナ社	7 図書数理論理学入門入江, 盛一(1911-) 培風館
2 図書数理論理学福山, 克(1942-) 培風館	8 図書数理論理学入門角田, 譲(1946-) 朝倉書店
3 図書数理論理学林, 晋(1953-) コロナ社	9 図書現代数理論理学序説古森, 雄一(1947-), 小野, 寛晰(1942-) 日本評論社
4 図書数理論理学松本, 和夫(1922-) 共立出版	10 図書情報理論のための数理論理学板井, 昌典共立出版
5 図書数理論理学 = Mathematical logic 戸次, 大介(1973-) 東京大学出版会	11 図書数理論理学とタイプ理論 : 証明による真理へ Andrews, P. B. (Peter Bruce), 1937-, 小川原, 倫子丸善
6 図書数理論理学 : 語の問題竹内, 外史(1926-) 培風館	12 図書初歩からの数理論理 Stoli︠a︡r, A. A. (Abram Aronovich), 保坂, 秀正, 山崎, 昇(1930-) 大竹出版