BookSchöning:2005Logik für Informatiker2005SchöningUweSpektrum ISBN: 3-8274-1005-3Spektrum, Akad. Verl. Heidelberg [u.a.]http://opac.bibliothek.uni-kassel.de/DB=1/PPN?PPN=191640913logikBookSchöning:2005Logik für Informatiker2005SchöningUwe ISBN: 3-8274-1005-3Spektrum, Akad. Verl. Heidelberg [u.a.]http://opac.bibliothek.uni-kassel.de/DB=1/PPN?PPN=191640913Lange