H
[HR04] Michael Huth and Mark D. Ryan. Logic in Computer Science. Cambridge University Press, August 2004. 
@book{lics-HR,
  author =              {Huth, Michael and Ryan, Mark D.},
  title =               {Logic in Computer Science},
  publisher =           {Cambridge University Press},
  year =                {2004},
  month =               aug,
}
List of authors