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}, }