Fields of logic and computation by Yuri Gurevich | Menrva Books | MenrvaBooks