You are about to access our book library "Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31) full version" .