名古屋大学附属図書館




1

き弁的推論

ブラジス[ほか]著 ; 筒井孝胤, 千田健吾訳. -- 東京図書, 1965.9. -- (数学新書 ; 49).