You are about to access our book library "Equational Logic As a Programming Language (Mit Pr Series in the Foundations of Computing) full version" .