Văn bản này: Introductory formal logic of mathematics