Mathematical Logic: Foundations for Information