Результати пошуку

0-800-335-425

Без вихідних, з 9 до 20

0-800-335-425
Безкоштовно по Україні
Без вихідних, з 9 до 20

Вхід або реєстрація

Для відслідковування статусу замовлень та рекомендацій

Категорії книг

Кошик

0-800-335-425

Без вихідних, з 9 до 20

Паперові книги

Електронні книги

Аудіокниги

Інше

Ігри, аксесуари, подарунки тощо

Щоб бачити терміни доставки

Українська
Русский

Акції

Сертифікати

Корпоративна бібліотека

Категорії книг

Добірки Yakaboo

Комплекти книжок

Книги іноземними мовами

Вибір читачів

Художня література

Подарункові книжки

Бізнес, гроші, економіка

Саморозвиток. Мотивація

Дитяча література

Виховання дітей. Книжки для батьків

Навчальна література. Педагогіка

Суспільство. Держава. Філософія

Історія

Біографії й мемуари

Здоров'я. Фітнес. Здорове харчування

Вивчення мов світу

Мистецтво. Культура. Фотографія

Календарі

Журнали

Комікси і графічні романи

Комп'ютерна література

Краса, імідж, стиль

Кулінарія. Їжа та напої

Медична література

Наука і Техніка

Право. Юриспруденція

Психологія і взаємини

Мандри і туризм

Релігії світу

Спорт і активний відпочинок

Хобі і Дозвілля

Езотерика і окультизм

Всі категорії

Всі категорії

Дивитися всі Англійська Німецька Іспанська Французька Італійська Польська Арабська Китайська Португальська Турецька

Всі категорії

Всі категорії

Дивитися всі Книги афоризмів і цитат Книги детективи Книги жанру трилер Книги жанру бойовик П'єси Книги про середньовіччя Романтична проза Кіноромани і екранізації Класична проза Книги казок, міфи і фольклор Поезія, збірки віршів Книги проза Книги оповідання та короткі історії Сучасна проза Українська література Книги фентезі і фантастика Еротичні книги і література Збірники есе і кореспонденція Гумор і сатира

Всі категорії

Дивитися всі Алкоголь і тютюн Бізнес література Біографії й мемуари Міста і країни Іноземна література Мистецтво й культура Історія Кулінарія Мода та стиль Зброя, армія, спецслужби Релігія Спорт Українська література Енциклопедії та словники Еротика

Всі категорії

Дивитися всі Бухгалтерія, податки, аудит Біографії бізнесменів. Історія бізнесу Життя бізнесмена Економіка Фінанси. Банківська справа. Інвестиції Галузі і професії Підприємництво. Малий бізнес Маркетинг. Реклама Продажі. Закупівлі. Торгівля Менеджмент. Лідерство Керування персоналом. Кар'єра Кар'єра. Навички і компетенції

Всі категорії

Дивитися всі Антистрес Тайм-менеджмент Страхи і фобії Креативність і творчість Смерть Мета. Мрія Щастя Покращення пам'яті й зору Мотивація Персональні трансформації Стосунки Гідність. Самоповага Секс Успіх Кар'єра. Пошук роботи Лідерство. Менеджмент Персональний бюджет Навички. Вміння Духовність Жінки у бізнесі

Всі категорії

Всі категорії

Дивитися всі Альбом малюка Дозвілля і творчість дітей Здоров'я дитини Виховання і педагогіка. Психологія для батьків Ім'я дитини Вагітніть і пологи Ранній розвиток

Всі категорії

Дивитися всі Книги для дошкільнят Книги школярам і абітурієнтам Книги студентам і аспірантам Книги та підручники педагогам Книги в музичну школу і школу мистецтв Робочі зошити Нова українська школа

Всі категорії

Дивитися всі Філософія Політика. Держава Соціологія Гендерні дослідження. Фемінізм Військова справа. Зброя. Спецслужби Літературознавство. Міфи і Фольклор ЗМІ. Книжкова справа Статистика. Демографія Риторика. Ораторське мистецтво Мовознавство. Філологічні науки

Всі категорії

Дивитися всі Африка Південна Америка Північна Америка Азія Австралія й Океанія Європа Середньовіччя Україна росія Історія Давньої Русі Близький Схід Стародавні цивілізації. Первісне суспільство Воєнна історія Світова історія Археологія Етнографія. Історіографія Допоміжні історичні дисципліни Історія СРСР

Всі категорії

Дивитися всі Архітектори, художники і фотографи Бізнес-акули, підприємці, економісти Зірки кіноіндустрії, телебачення й музики Історичні діячі Друга світова війна. Голокост Вчені медичних, юридичних і соціальних наук Письменники, поети і сценаристи Політичні фігури Релігійні діячі Вчені, математики і технарі Спортсмени Величні жінки Війна, шпигунство Діячі театру, балету і танцю Збірки біографіій Біографії на загальні теми Тру-крайм (реальні злочини) Правдиві історії (документалістика)

Всі категорії

Дивитися всі Шкідливі звички Старіння і довголіття Альтернативна медицина Дієта. Схуднення Хвороби і слабкості Фітнес. Фізичні вправи Чоловіче здоров'я Правильне харчування Психологія. Психічне здоров'я Безпека. Перша допомога Сексуальне здоров'я Масаж Жіноче здоров'я

Всі категорії

Дивитися всі Домашнє читання Розмовники Словники Теорія й історія мови Самовчителі Підручники, посібники

Всі категорії

Дивитися всі Архітектура Бізнес у мистецтві Музеї і виставки Колекції та зібрання Дизайн і декор Образотворче мистецтво Мода Графічний дизайн Історія і критика мистецтва Музика Кіно Медіа Інші види мистецтва Танець. Балет. Хореографія Театр. Сценічне мистецтво Циркове мистецтво. Магія Фотографія і відеомистецтво Скульптура Навчання і педагогіка

Всі категорії

Дивитися всі Місячний календар Календар городника/садівника Астрологічний календар Православний календар Подарунковий календар

Всі категорії

Дивитися всі Манґа Комікси Графічні новели Супергерої

Всі категорії

Дивитися всі Apple Microsoft Бізнес і менеджмент Графіка і дизайн Мультимедіа. Цифрове фото й відео Комп'ютерна безпека Апаратне забезпечення. Модернізація і ремонт Програмування СКБД. Бази даних Системи проектування (CAD/CAM) Основи інформатики Інтернет і Web-культура Портативні пристрої. Смартфони і планшети Комп'ютерні ігри

Всі категорії

Дивитися всі Косметика і Парфумерія Макіяж і Манікюр Зачіски. Догляд за волоссям Чоловічий стиль Догляд за шкірою Стиль. Одяг. Прикраси Татуаж. Пірсинг Етикет. Імідж

Всі категорії

Дивитися всі Випічка Напої і вино Історія кулінарії. Кулінарні словники Харчові продукти та їхні властивості Книжки для запису рецептів Консервування і зберігання Рецепти від знаменитостей Способи приготування Кулінарія за інгредієнтами Десерти Урочистості й свята Кухонна техніка Основні страви і гарніри Кулінарія на природі та вулична їжа Професійна кулінарія Швидко і просто Дієтична кулінарія (по дієтах) Вегетаріанська і веганські кухня Здорове і роздільне харчування Сервірування столу і прикраса страв Православна кухня. Пісний стіл Кухня регіонів світу Готуємо з дітьми та для дітей

Всі категорії

Дивитися всі Ветеринарія Внутрішні хвороби Гінекологія. Акушерство Діагностика. Методи і види Інфекційні захворювання Історія медицини Шкірні й венеричні захворювання. Дерматовенерологія ЛОР. Оториноларингологія Медико-біологічні дисципліни Наркологія. Алкоголізм. Тютюнокуріння Неврологія. Нервова система Невідкладна допомога. Терапії Онкологія. Пухлини Офтальмологія. Розлади зору. Окуляри Педіатрія Популярна і нетрадиційна медицина Психіатрія. Психопатологія. Сексопатологія Система охорони здоров'я. Гігієна. Епідеміологія Сомнологія Стоматологія Фармакологія. Рецептура. Токсикологія Хірургія Опорно-рухова система

Всі категорії

Дивитися всі Сільськогосподарські науки Астрономія. Космос Біологічні науки Хімія Географія. Науки про Землю Довкілля. Екологія. Природа Теорія еволюції Експерименти, інструменти, вимірювання Математика Фізика Природничі науки Механіка Промисловість Радіоелектроніка, радіотехніка, зв'язок Будівництво. Інженерна справа Транспорт Енергетика. Електротехніка

Всі категорії

Дивитися всі Історія та теорія права Нормативно-правові акти Органи юстиції Криміналістика. Кримінологія. Судова експертиза Адміністративне право Цивільне право Цивільно-процесуальне право Земельне й екологічне право Конституційне та державне право Міжнародне право Трудове право. Соціальне забезпечення Кримінальне та кримінально-процесуальне право Фінансове право Особливі види права (авторське, інформаційне, страхове, лікарська таємниця) Юридична консультація Юриспруденція. Загальні питання права Господарське та економічне право

Всі категорії

Дивитися всі Дитяча психологія Дошкільна і шкільна психологія Основи вікової психології Підліткова психологія Психокорекція дітей і підлітків Класика психології Психоаналіз Психологія особистості НЛП (нейро-лінгвістичне програмування) Психологія мас і соціоніка Психологія окремих видів діяльності Психологія. Загальні праці Психотерапія. Гіпноз Тести. Тестування Історія психології Основи психології. Загальні праці Психічні процеси Психологічна консультація Прикладна психологія Родинні взаємини Кохання і шлюб. Взаємини

Всі категорії

Дивитися всі Пригодницький туризм Фотоальбоми Записки мандрівників Африка Азія Австралія і Океанія Південна Америка Північна Америка Центральна Америка Європа Близький Схід Україна

Всі категорії

Дивитися всі Християнство. Біблія Атеїзм Буддизм Релігії давнини Індуїзм Іслам Юдаїзм Даосизм. Конфуціанство. Синтоїзм Релігієзнавство. Історія релігій Сучасні релігійні течії

Всі категорії

Дивитися всі Історія спорту Загальна фізична культура Загальні роботи зі спорту Тренерська майстерність і менеджмент Бойові мистецтва Баскетбол Екстремальні види спорту Футбол Біг Піший туризм Хокей Спортивне полювання і риболовля Індивідуальні види спорту Інші командні види спорту Спорт з ракеткою Навички виживання Водні види спорту Зимові види спорту Авто і мотоспорт Відомі спортсмени

Всі категорії

Дивитися всі Колекціонування Рукоділля і творчість Домашні тварини. Догляд і навчання Будівництво і ремонт. Дизайн Сад, город, квіти. Ландшафтний дизайн Розваги. Свята. Ігри Домоведення. Побутові рекомендації Кохання й еротика Весілля Полювання Риболовля Гриби

Всі категорії

Дивитися всі Астрологія. Гороскопи. Місячні ритми Ворожіння. Карти Таро Хіромантія Нумерологія Магія і чари. Замовляння. Пророцтва Сонники Тлумачення імен Таємниці. Загадки. Сенсації Парапсихологія Практична езотерика Сучасні релігійні течії Спіритизм. Пророцтва і передбачення Таємні організації. Масони. Тамплієри Екстрасенсорика. Біоенергетика Феншуй Паранормальні явища Йога та інші духовні практики. Духовна йога Езотеричні вчення

Головна Серія книг

Серія книг – Studies in Logic and the Foundations of Mathematics

Категорія

Наука і Техніка

Тип книги

Паперова

видавництво

Elsevier

Мова

Англійська

автор Очистити

А.С. Троельстра Д. ван Дален Мортен Гейне Соренсен Павел Уржичин К. Кунен

Ціна

від

до

Очистити

Павел Уржичин

1 товар

Паперові

Lectures on the Curry-Howard Isomorphism

Мортен Гейне Соренсен Мортен Гейне Соренсен, Павел Уржичин

8101 грн

Немає в наявності

Міняємо email на книжкотренди

Інформація про новинки, книжкові добірки, секретні промокоди

Безкоштовно по Україні

0-800-335-425

Без вихідних, з 9 до 20

Мобільний застосунок

Читайте і прослуховуйте книжки у найбільшій бібліотеці електронних та аудіокниг від топових українських і світових авторів

Yakaboo

Про магазин
Програма лояльності
Вакансії
Контакти

Інформація

Доставка та оплата
Подарункові сертифікати
Повернення товару
Блог
Часто шукають
Серія книг
Автори