#formal methods #logic in computer science #theoretical computer science #computability theory #lambda calculus #sipser book