@INCOLLECTION{Palomino08,
  author =       {Miguel Palomino},
  title =        {Formal logic},
  booktitle =    {Encyclopedia of Computer Science and Engineering},
  editor =       {Benjamin Wah},
  publisher =    {John Wiley \& Sons},
  volume =       2,
  pages =        {1289-1297},
  year =         2009,
  note =         {\url{http://dx.doi.org/10.1002/9780470050118.ecse535}}
}