ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ ЛОГИКА ПРЕДИКАТОВ 1 Гл Логика второго порядка примеры