Logic: From Foundations to Applications