Computational logic by J. A. Robinson | Menrva Books | MenrvaBooks