TY - JOUR AU - Rijke, Maarten De IS - 4 JA - Journal of Symbolic Logic PY - 1999 TI - Jon Barwise and Jerry Seligman. Information flow. The logic of distributed systems. Cambridge tracts in theoretical computer science, no. 44. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, xv + 274 pp VL - 64 ER -