nested quantifiers -discrete mathematics

welcome to shbcf.ru