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