Authors Mark Ryan is Senior Lecturer in Law at Coventry University. Steve Foster is Principal Lecturer at Coventry University. Series Editors Chris Turner LLM is a qualified barrister and a Senior Lecturer in Law at Wolverhampton University. He has taught law at all levels and is an experienced author whose previous titles include Unlocking Contract Law and Unlocking Torts, both published by Hodder Education. Jacqueline Martin LLM has overA ten years' experience as a practising barrister and has taught law at all levels. She is an experienced authorA whose titles include Unlocking Criminal Law, published by Hodder Education. Jacqueline Martin and Chris Turner are also series editors of the Key Facts and Key Cases series, both published by Hodder Education.
Logic in Computer Science: Model...by Michael Huth
Electronic book text