Logical Foundations of Computer Science