本棚.org

Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (Center for the Study of Language and Information Publication Lecture Notes)	羽尻
Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science)	tanaka 羽尻