Mathematical Foundations of Computer Science - III has been revised. Please visit the book webpage.
Please login to subscribe and read the book online.