H
[HR04] Michael Huth et Mark D. Ryan. Logic in Computer Science. Cambridge University Press, août 2004. 
@book{lics-HR,
  author =              {Huth, Michael and Ryan, Mark D.},
  title =               {Logic in Computer Science},
  publisher =           {Cambridge University Press},
  year =                {2004},
  month =               aug,
}
Liste des auteurs