TANCL'07

国際会議　"Algebraic and Topological Methods in Non-Classical Logics III" （「非古典論理における代数的・位相的手法」）は本日から開催、web siteはこちら。