Frage zu Artikel "Mathematical Foundations of Computer Science"