| 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 | いかにして推理するか いかにして証明するか | 内井惣七 | ミネルヴァ書房 | - | [書誌] |
| c3341 | n41096 | 4-535-60118-6 | 情報科学のための論理数学 | 細井勉 | 日本評論社 | 日評数学選書 | [書誌] |
| c3041 | n41096 | 9784768700983 | 論理数学 | 田村三郎 | 現代数学社 | - | [書誌] |
| c3341 | n41096 | 9784535601185 | 情報科学のための論理数学 | 細井勉 | 日本評論社 | 日評数学選書 | [書誌] |
|
2000年・
2001年・
2002年・
2003年・
2004年 2005年・ 2006年・ 2007年・ 2008年・ 2009年 2010年・ 2011年・ 2012年・ 2013年・ 2014年 2015年・ 2016年・ |