The Logical Basis for Computer Programming, Vol. 1: Deductive Reasoning by Richard Waldinger | Menrva Books | MenrvaBooks