The Logical Basis for Computer Programming by Zohar Manna | Menrva Books | MenrvaBooks