Title: Introductory Formal Logic of Mathematics