Logik für Informatiker

Martin Kreuzer, Stefan Kühling. Logik für Informatiker. Pearson Studium, 2006. [doi]

@book{0015626,
  title = {Logik für Informatiker},
  author = {Martin Kreuzer and Stefan Kühling},
  year = {2006},
  url = {http://www.pearson-studium.de/main/main.asp?page=bookdetails&ProductID=111263},
  researchr = {https://researchr.org/publication/0015626},
  cites = {0},
  citedby = {0},
  publisher = {Pearson Studium},
  isbn = {978-3-8273-7215-4},
}