Studies in automatic programming logic (Artificial intelligence series) by Zohar Manna | Menrva Books | MenrvaBooks