Miroslaw Kutylowski, Leszek Pacholski, Tomasz Wierzbicki: Mathematical Foundations of Computer Science 1999 bei ebook.de. Online bestellen oder in der Filiale abholen.