1.

図書
図書
1. 知識と推論
森下真一著
出版情報: 東京 : 共立出版, 1994.1
シリーズ名: 情報数学講座 ; 10
2.

図書
図書
2. 応用論理
桔梗宏孝著
出版情報: 東京 : 共立出版, 1996.3
シリーズ名: 情報数学講座 ; 1