1.

図書
図書
1. 数理論理学入門
入江盛一著
出版情報: 東京 : 培風館, 1973.1
所蔵情報: loading…
2.

図書
図書
2. 束と論理
松本和夫著
出版情報: 東京 : 森北出版, 1980.5
シリーズ名: 情報工学シリーズ ; 1 . 情報数学||ジョウホウ スウガク ; 1
所蔵情報: loading…
3.

図書
図書
3. 計算可能性入門
小林孝次郎著
出版情報: 東京 : 近代科学社, 1980.2
シリーズ名: コンピュータサイエンス大学講座
所蔵情報: loading…
4.

図書
図書
4. 数学基礎論入門
R.L.グッドステイン著 ; 赤攝也訳
出版情報: 東京 : 培風館, 1979.3
所蔵情報: loading…
5.

図書
図書
5. 数学基礎論序説
R.L.ワイルダー著 ; 吉田洋一訳
出版情報: 東京 : 培風館, 1969.4
所蔵情報: loading…