| c0241 | n4109 | 4-06-118067-3 | パラドックスの世界 | 田村三郎 | 講談社 | ブルーバックスB0467 | [書誌] |
| a1041 | n4109 | 4-87525-jp85048362-a | ゲーデルの世界 | 広瀬健・横田一正 | 海鳴社 | - | [書誌] |
| b3010 | n41096 | 4-b8028-50703-b | いかにして推理するか いかにして証明するか | 内井惣七 | ミネルヴァ書房 | - | [書誌] |
| b3080 | n41096 | 4-b4305-211020-b | 記号論理学の原理 | ライヘンバッハ（H） | 大修館書店 | - | [書誌] |
| c3041 | n41096 | 4-7687-0098-5 | 論理数学 | 田村三郎 | 現代数学社 | - | [書誌] |
| b3010 | n41096 | 4-b8028-50703-b | いかにして推理するか いかにして証明するか | 内井惣七 | ミネルヴァ書房 | - | [書誌] |
| b3010 | n41096 | 4-b8028-50703-b | いかにして推理するか いかにして証明するか | 内井惣七 | ミネルヴァ書房 | - | [書誌] |
| c0241 | n4109 | 4-06-257115-3 | 見えない無限をつかまえる | 大野栄一 | 講談社 | ブルーバックスB1115 | [書誌] |
| c0210 | n4109 | 4-06-148881-3 | うそとパラドックス | 内井惣七 | 講談社 | 現代新書-0881 | [書誌] |
| c0210 | n4109 | 4-06-148881-3 | うそとパラドックス | 内井惣七 | 講談社 | 現代新書881 | [書誌] |
| c3341 | n41096 | 4-535-60118-6 | 情報科学のための論理数学 | 細井勉 | 日本評論社 | 日評数学選書 | [書誌] |
| c3041 | n4109 | 9784000055369 | 数学基礎論 | 新井敏康 | 岩波書店 | - | [書誌] |
| c0241 | n4109 | 9784061180673 | パラドックスの世界 | 田村三郎 | 講談社 | ブルーバックスB0467 | [書誌] |
| c3041 | n41096 | 9784768700983 | 論理数学 | 田村三郎 | 現代数学社 | - | [書誌] |
| c0241 | n4109 | 9784062571159 | 見えない無限をつかまえる | 大野栄一 | 講談社 | ブルーバックスB1115 | [書誌] |
| c0210 | n4109 | 9784061488816 | うそとパラドックス | 内井惣七 | 講談社 | 現代新書-0881 | [書誌] |
| c0210 | n4109 | 9784061488816 | うそとパラドックス | 内井惣七 | 講談社 | 現代新書881 | [書誌] |
| c3341 | n41096 | 9784535601185 | 情報科学のための論理数学 | 細井勉 | 日本評論社 | 日評数学選書 | [書誌] |
|
2000年・
2001年・
2002年・
2003年・
2004年 2005年・ 2006年・ 2007年・ 2008年・ 2009年 2010年・ 2011年・ 2012年・ 2013年・ 2014年 2015年・ 2016年・ |