Почти пятьсот лет империя Младших познала ни войн, ни мора, ни голода. Но золотые времена проходят - коварные врага плетут затворы с одной-единственной целью: уничтожить магические племена, населяющие страну. Это будет война на выживание, и противник не остановится ни перед чем, чтобы осуществить свою зловещую цель. Великому канцлеру Хельви предстоит проявить все свои таланты, чтобы у Младших появился шанс победить. Но правильно ли вычислен противник? Действительно ли родной брат Хельви, король Синих озер Омас, так сильно ненавидит Младших? Или он только игрушка в руках магов, которые преследуют, как обычно, свои цели, недоступные пониманию людей.

Десять лет мирного правления принца Хельви в Верхате прерваны неожиданными событиями: император Раги Второй хочет отправить его за головой дракона в Черные горы. Только изловив волшебного зверя, человек сможет жениться на дочери императора, прекрасной Сури. Однако далеко не все Младшие жаждут видеть Хельви па тропе. Враги принца объединяются, чтобы не дать ему вернуться с опасного задания. Да и возможно ли отыскать в Черных горах драконов? По мнению воинов из дозорных отрядов, регулярно патрулирующих беспокойное предгорье, они давно исчезли с липа земли

Омас и Хельви - братья-близнецы и оба наследники трона королевства Синих озер. Но судьба принцев в руках могущественных магов, которые однажды принимают решение одному из них отдать корону… Другому же - принцу Хельви - грозит участь узника мрачной крепости Шоллнег. Однако на пути к месту заточения юноше удастся бежать. Так началось долгое путешествие принца Хельви, рыцаря ордена Золотой птицы Фа, в поисках своего места под солнцем.

Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посвящен проблемам оснований математики. Курс лекций предназначен для студентов математических факультетов педвузов, изучающих математическую логику, а также для преподавателей, читающих лекционный курс и ведущих практические занятия по математической логике.