Books — quantifiers

RU
The Art of Proof in Mathematics. A Lecture Course with Exercises

The Art of Proof in Mathematics. A Lecture Course with Exercises

A

Дэниэл Веллеман

Algorithms and theory