Изпрати съобщение
08XX XXX XXX
Premium
В Bazar.BG от 02 декември 2019г.
Последно активен днес в 00:52 ч.
Ламбда - исчисление. Его синтаксис и семантика- Х. Барендрегт → Обява 36217473
Ламбда - исчисление. Его синтаксис и семантика- Х. Барендрегт
Състояние
Използвано
Доставка
Купувача
Вид
Техническа литература
В много добро състояние.
- ИздателствоМир
- Град на издаванеМосква
- Година1985 г.
- ЕзикРуски
- Страници606
- КорициТвърди
- КатегорияМатематика
Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики, - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик.
Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.
Преглеждания: 622
Другите търсят също
Контакти
Общи условия
Помощ
Реклама
Мобилна версия
Авточасти
Магазини Black Friday Карта на сайта Обяви по градове Популярни търсения
© Bazar.BG - сайт за безплатни обяви. Магазини Black Friday Карта на сайта Обяви по градове Популярни търсения
Използването на Bazar.BG или публикуването на обява в сайта означава съгласие с Общи условия за ползване на Bazar.BG.
Официален курс: 1 EUR = 1.95583 лв.
© Bazar.BG ползва и препоръчва хостинг услугите на 
Вход
Регистрация
Влез в профила си или се регистрирай, за да не губиш наблюдаваните обяви, търсенията си и следваните потребители – ще ги имаш навсякъде с теб.
Вход/Регистрация