S Abramsky

S Abramsky is the author of books such as Handbook Of Logic In Computer Science.