2010-01-17 ■ 入手文献 入手文献 Amilcar Sernadas and Cristina Sernadas Foundations of Logic and Theory of Computation, College Publications, Computing Series, vol. 10, 2008 瀬山士郎 『はじめてのトポロジー つながり方の幾何学』、PHPサイエンス・ワールド新書、PHP研究所、2010年