Text this: Introductory formal logic of mathematics