Logic, language, and computation by Seiki Akama | Menrva Books | MenrvaBooks