数理論理学

このページのQRコード

所蔵情報

子書誌情報

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

詳細

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

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