The Logical Basis for Computer Programming by Richard Waldinger | Menrva Books | MenrvaBooks