Handbook of automated reasoning by J. A. Robinson | Menrva Books | MenrvaBooks