close
1.

図書
図書
1. 不完全性定理の理解のために
レイモンド・M・スマリヤン著 ; 川辺治之訳
出版情報: 東京 : 日本評論社, 2017.9
シリーズ名: スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 上巻
所蔵情報: loading…
2.

図書
図書
2. 不完全性定理の先へ
レイモンド・M・スマリヤン著 ; 川辺治之訳
出版情報: 東京 : 日本評論社, 2018.9
シリーズ名: スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 下巻
所蔵情報: loading…
3.

図書
図書
3. 数学のロジックと集合論
田中一之, 鈴木登志雄共著
出版情報: 東京 : 培風館, 2003.12
所蔵情報: loading…
4.

図書
図書
4. 計算理論と数理論理学 = Mathematics of logic and computation
田中一之著
出版情報: 東京 : 共立出版, 2022.6
所蔵情報: loading…