Сайт за безплатни обяви!
+ Добави обява
ОСТАВАТ
00часа
00мин.
00сек.
до големите отстъпки на
Ден за разпродажби
Всички обяви
Спорт, Хоби, Книги
Антики и колекционерски, 235 973 Музика, 57 304 Спортни стоки, 52 067 Оръжия, лов и риболов, 33 826 Музикални инструменти, 8 996 Филми, 6 809 Виж всички Къмпинг оборудване, 6 651 Вейпове (без пълнители) и наргилета, 5 447 Забавни игри, 4 709 Билети и Събития, 62 Храна, добавки и напитки, 0
Книги, канцеларски материали
Художествена литература, 85 315 Други, 36 772 Детски книжки, 12 778 Българска литература, 8 514 Енциклопедии, справочници, 7 862 Учебници, учебни тетрадки, 7 828 Виж всички Списания и комикси, 6 380 Чуждоезиково обучение, речници, 5 336 Езотерика, 4 429 Ученически пособия, канцеларски материали, 4 244 Електронни книги, 14
Специализирана литература

Ламбда - исчисление. Его синтаксис и семантика- Х. Барендрегт → Обява 36217473

Ламбда - исчисление. Его синтаксис и семантика- Х. Барендрегт
гр. София Наблюдавай

Публикувана/обновена на 23 септември 2024г. в 19:29 ч.

Състояние
Използвано
Доставка
Купувача
Вид
Техническа литература
В много добро състояние.
  1. Издателство
    Мир
  2. Град на издаване
    Москва
  3. Година
    1985 г.
  4. Език
    Руски
  5. Страници
    606
  6. Корици
    Твърди
  7. Категория
    Математика

Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики, - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик.

Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.

Преглеждания: 417
☆ ☆ ☆ ☆ ☆
Другите търсят също
Искусство Новгорода и Москвы первой половины XIV века. Его связи с Византией - Олга С. Попова
Искусство Новгорода и Москвы первой половины XIV века. Его связи с Византией - Олга С. Попова гр. Пловдив, Каменица 2 02 октомври 2024г. 85 лв
Лекарят като лекарство - Б. Лубан-Плоца, К. Ледерах-Хофман, Л. Кнаак, Х. Дикхаут
Лекарят като лекарство - Б. Лубан-Плоца, К. Ледерах-Хофман, Л. Кнаак, Х. Дикхаут гр. Казанлък, Стара Загора 30 септември 2024г. 75 лв
История немецкой литературы в пяти томах. Том 1-5
История немецкой литературы в пяти томах. Том 1-5 гр. София, Стрелбище 29 август 2024г. 78 лв
Восстановительная хирургия при непроходимости пищевода С. С. Юдин
Восстановительная хирургия при непроходимости пищевода С. С. Юдин гр. Варна, Център 27 август 2024г. 79 лв
Немско оръжие
Немско оръжие гр. София 28 септември 2024г. 85 лв
Руско оръжие
Руско оръжие гр. София 12 ноември 2024г. 85 лв
Десислава Минчева/Dessislava Mincheva албум
Десислава Минчева/Dessislava Mincheva албум гр. Варна, ВИНС-Червен площад 31 октомври 2024г. 80 лв
Александър Мутафов - Атанас Божков
Александър Мутафов - Атанас Божков гр. Варна, ВИНС-Червен площад 19 декември 2024г. 75 лв
Асеманиево Евангелие. Старобългарски глаголически паметник(12.6)
Асеманиево Евангелие. Старобългарски глаголически паметник(12.6) гр. София 29 септември 2024г. 80 лв
Христо Каварналиев 120 години от рождението на художника - Валерий Пощаров
Христо Каварналиев 120 години от рождението на художника - Валерий Пощаров гр. Варна, ВИНС-Червен площад 31 октомври 2024г. 80 лв
Страстният цикъл в българската стенна живопис през XVII век Пламен Събев
Страстният цикъл в българската стенна живопис през XVII век Пламен Събев гр. Варна, ВИНС-Червен площад 26 декември 2024г. 80 лв
Славянски и славянобългарски селища в българските земи VI-XI век Живка Въжарова
Славянски и славянобългарски селища в българските земи VI-XI век Живка Въжарова гр. Варна, ВИНС-Червен площад 20 декември 2024г. 80 лв
Препоръчани за теб
Паметниците на Варна Истории за всички паметници, изградени във Варна от трети век до сега
Паметниците на Варна Истории за всички паметници, изградени във Варна от трети век до сега гр. Варна, ВИНС-Червен площад 16 ноември 2024г. 80 лв
Рациональное использование машин в сельском хозяйстве
Рациональное использование машин в сельском хозяйстве гр. Варна, Център 13 август 2024г. 79 лв
атласи - технически-НА РУСКИ ЕЗИК
атласи - технически-НА РУСКИ ЕЗИК гр. София, Сухата река 27 януари 75 лв
Лекарят като лекарство
Лекарят като лекарство гр. Варна, Център 14 септември 2024г. 79 лв
Прочность судов внутренного плавания
Прочность судов внутренного плавания гр. Варна, Център 10 октомври 2024г. 79 лв
СХЕМИ НА ЛЮБИТЕЛСКИ И ФАБРИЧНИ РАДИОПРИЕМНИЦИ
СХЕМИ НА ЛЮБИТЕЛСКИ И ФАБРИЧНИ РАДИОПРИЕМНИЦИ гр. София, Подуяне 19 декември 2024г. 80 лв
Regulation of the Electronic Mass Media - Douglas H. Ginsburg, Michael H. Botein, Mark D. Director
Regulation of the Electronic Mass Media - Douglas H. Ginsburg, Michael H. Botein, Mark D. Director гр. Пловдив, Каменица 2 19 септември 2024г. 85 лв
Горски транспорт - Стоичко Христов
Горски транспорт - Стоичко Христов гр. Пловдив, Каменица 2 13 декември 2024г. 73 лв
Пълна енциклопедия на съвременния бодибилдинг
Пълна енциклопедия на съвременния бодибилдинг гр. София, Люлин 6 13 септември 2024г. 71,10 лв
Змей Кале 1,2,3
Змей Кале 1,2,3 гр. Стара Загора вчера 75 лв
Добър ден, нещастнико! - Светозар Гледачев
Добър ден, нещастнико! - Светозар Гледачев гр. Пловдив, Каменица 2 вчера 73 лв
Оперативна хирургия - том 3 - 1962 г.
Оперативна хирургия - том 3 - 1962 г. гр. София, Люлин 7 29 декември 2024г. 80 лв
Категории: Детски книжки Художествена литература Енциклопедии, справочници Учебници, учебни тетрадки Ученически пособия, канцеларски материали Чуждоезиково обучение, речници Списания и комикси Българска литература Езотерика Електронни книги
Цена
Цена:
79 лв
522 рейтинг
Darii
Отговаря бързо
В Bazar.BG от 02 декември 2019г.
Последно активен вчера в 17:00 ч.
5388 обяви на потребителя
Съобщи за нередност!
Въпроси и предложения
Контакти Общи условия Помощ Реклама Мобилна версия Авточасти

Магазини Black Friday Карта на сайта Обяви по градове Популярни търсения
© Bazar.BG - сайт за безплатни обяви.
Използването на Bazar.BG или публикуването на обява в сайта означава съгласие с Общи условия за ползване на Bazar.BG.