Mark Ryan Michael Huth

Mark Ryan Michael Huth is the author of books such as Logic In Computer Science.