Logical Foundations of Computer Science 2009