логические

В книге рассматриваются интерпретации конструктивных формальных систем в классических терминах и с использованием средств классической математики. Вопросы семантики конструктивной логики изложены в ней в оригинальной и доступной для читателя форме. Доказательства основных утверждений приводятся во всех деталях.

Король умер, а значит теперь правителем империи станете вы, его сын. Но коронацию приходится отложить: давно потерявшийся родственник претендует на вашу корону, угрожая погрузить страну в эпоху холодной тьмы. Сможете ли вы одолеть его, чтобы спасти королевство от ледяного плена?

У профессора Тима Эджера, изобретателя машины Времени и большого любителя кошек, возникла серьёзная проблема: все его обожаемые котики - исчезли! Играя в лаборатории, они случайно активировали машину времени и... тут же растворились во временном пространстве! Перемещаясь от древнего Египта до футуристического Токио будущего, помогите профессору найти всех его питомцев! Но, пожалуйста, будьте предельно внимательны - эти милые создания очень хорошо прячутся!

Не так давно у главного героя игры состоялся очень интересный разговор со своей двоюродной сестрой Элли. Она рассказывала ему о своих путешествиях по миру. Ее рассказ произвел на него неизгладимое впечатление! И тогда он решил, что тоже должен отправиться в путешествие. В тот же день он собрал все необходимые вещи и сложил их в свой мотоцикл. А в вместе с ним в увлекательное путешествие отправится его верный друг - пес Зоран. Приключения начинаются!

Эта книга рассказывает обо всех состоявшихся мировых шахматных Олимпиадах, знакомит читателя с наиболее интересными партиями, содержит обширные справочные данные.

Присоединяйтесь к пингвину Пикко в его путешествии через сказочный лес к гному Дудику. Складывая красочные мозаики и решая головоломки, откройте для себя волшебный мир гнома.

Никто никогда не говорил, что быть членом королевской семьи легко... Принцессу Софию во время помолвки кто-то заколдовал, и теперь только Крёстная фея способна ей помочь! Используйте магическое мастерство и детективные навыки, чтобы найти виновных. Однако сделать это будет очень непросто, ведь когда дело касается магии - всё редко бывает так, как кажется!

Неожиданно у знаменитого писателя, из-под пера которого вышло множество бестселлеров жанра "хоррор", наступил творческий кризис. Но как быть, если издательство требует прислать первые главы нового романа уже на следующей неделе? В поисках вдохновения писатель решил посмотреть жуткий видео-ролик про духа, прозванного Багровой Тенью. С этого момента в жизни нашего героя появляются проблемы куда посерьезнее: на его руке образовалась пугающая метка, а сам он оказался втянут в давний конфликт между Орденом Ведьм и Багровой Тенью. Теперь лишь вы сможете поставить точку в этой невероятной истории!

Это красочная логическая игра про приключения Бурундука. Продумывайте свои действия, проходите препятствия, уничтожайте ловушки и опасных животных. Вас ждет множество головоломок, которые вам запомнятся!

Отправляйтесь в эпическое путешествие и помогите Джульетте восстановить баланс сил между волшебными мирами!

Весь Солнечный остров попал под проклятие русалок, жаждущих отомстить за свою сестру. Готовы ли вы преодолеть все препятствия, чтобы спасти жителей острова?

"1001 пазл. Детектив" — это загадочная игра-головоломка, скрывающая доказательства по детективным делам! Вам предстоит собрать 500 фотографий-мозаик высокого качества. Складывайте пазлы и наслаждайтесь захватывающем изобилием детективной атмосферы!

Владельцы отеля Беркли в отчаянии - что-то отпугивает их постояльцев, и это вполне может быть призрак! В роли опытного журналиста в области паранормальных явлений вам предстоит выяснить, что происходит на самом деле. Все, что вам нужно сделать - это провести ночь в комнате, посещаемой призраками. Но тайна, которую вы пытаетесь раскрыть, оказывается еще более странной, чем вы можете себе представить. Сможете ли вы разгадать ее, прежде чем наступит утро? Это вам и предстоит выяснить в этом захватывающем приключении!

Присоединяйтесь к рейнджерам и замечательно проведите время в Национальном парке природы. Узнавайте и защищайте дикую природу, побывав в местах удивительной красоты. Наслаждайтесь прекрасной коллекцией сцен поиска и головоломок!

Городок Солтшор давно имеет дурную славу - слишком много кораблей потерпели крушение в его прибрежных водах, не заметив спасительный свет маяка. Мэр города приглашает вас расследовать загадочное убийство, в котором все горожане винят призрак безжалостного пирата по кличке Гроза Морей, потому что рядом была найдена черная метка, однако настоящие профессионалы, вроде вас и шерифа, в призраков не верят. Но когда шериф бесследно пропадает, а возле новой жертвы обнаруживается очередной знак пирата, расследование принимает совсем иной оборот!

Алисия - детектив в большом городе. Она решила взять отпуск после окончания сложного дела и арендовала домик в небольшом городке на берегу озера. Однако и в таком тихом месте происходят убийства. Алисия начинает новое расследование...

Семья Хадсонов продолжает свое удивительное путешествие по миру, и на этот раз они решают отправиться в Бразилию. Присоединяйтесь к ним в их поездке по этой стране контрастов и исследуйте ее незабываемые достопримечательности.

Король умер, а значит теперь правителем Империи станете вы, его сын. Но когда на измерение нападают, коронацию приходится отложить. На корону начинает претендовать ваш давно потерянный родственник, грозящийся погрузить весь мир в жуткий холод. Сможете ли вы одолеть его и спасти свой дом, пока ещё не поздно?

Предлагаемая книга выгодно отличается от других изданий подобного рода не потому только, что она составлена величайшим шахматным мыслителем начала XX в., сильнейшим шахматистом мира Капабланкой, но и потому, что в ней мы находим применение единственно правильного принципа, который может быть рекомендован при составлении шахматного учебника, а именно — постепенное изложение самых элементарных, а затем все более и более сложных положений из различных стадий шахматной партии.

Окунитесь в самый известный, мистический и сказочный мир сказок братьев Гримм. Выясните, почему девушка вынуждена скрываться, когда ее ждет настоящая любовь! Помогите главной героине подружиться с Метелицей и вернуться домой!