Discrete Mathematics: Proofs, Structures and Applications, Third Edition, Edition 3

Rowan Garnier was a professor of mathematics at Richmond, the American International University in London, where she served ten years as Chair of the Division of Mathematics, Science and Computer Science.

John Taylor is Head of the School of Computing, Mathematical and Information Sciences at the University of Brighton, UK. He has published widely on the applications of diagrammatic logic systems to computer science.