@book{3339,
  author       = {{Lettmann, Theodor and Kleine Büning, Hans}},
  isbn         = {{0521630177}},
  publisher    = {{Cambridge Univ. Press}},
  title        = {{{Propositional Logic : Deduction and Algorithms}}},
  year         = {{1999}},
}