情報科學講座 「邏輯數學　Ⅰ」 「邏輯數學　Ⅱ」 「邏輯數學　Ⅲ」 共立出版株式會社 「非古典邏輯學」 槇書店 「集合・概率・邏輯」邁向新數學的入門 槇書店 「集合與邏輯」 新曜社 「邏輯數學的基礎」 歐姆社 「時間的邏輯」 早稻田大學出版部 共8冊 除「時間的邏輯」外，皆為精裝本 有經年劣化造成的污漬、破損、刮痕等 敬請見諒