Мендельсон Эллиот (1976) В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Следует однако отметить, что в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики...

Давайте попробуем выйти из стандарта решения и включим логику, поищем закономерность…. Я приготовила несколько интересных задач. После каждой конечно же будет ответ, но пожалуйста не спешите туда заглядывать. Дерзайте! Итак, первое задание! Тут нам нужно понять закономерность. Подумай какое число это может быть? А я предложу варианты: 18, 37 или 64. Ответ: Числа нижнего ряда - это квадраты чисел верхнего ряда с перестановкой цифр. Хочется чуть-чуть подсказать: здесь нужно применить вычитания...