Information Flow: The Logic of Distributed System... by Seligman, Jerry Hardback

Cambridge Tracts in Theoretical Computer Science Ser.: Programs, Recursion...

The Logic of Partial Information - Monographs in Theoretical Computer Science

Modal Logic Cambridge Tracts in Theoretical Computer Science 53

Information Flow: The Logic of Distributed Systems

Algorithmic Information Theory (Cambridge Tracts in Theoretical Computer Sci...

Computational Geometry in C (Cambridge Tracts in Theoretical Computer Sci - GOOD

Information Flow: The Logic of Distributed Systems (Cambridge Tr