• русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • русский 
    • русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • Войти
Просмотр элемента 
  •   Главная
  • Genofond
  • Libgen
  • Просмотр элемента
  •   Главная
  • Genofond
  • Libgen
  • Просмотр элемента
JavaScript is disabled for your browser. Some features of this site may not work without it.

Ламбда-исчисление Его синтаксис и семантика

Thumbnail
Открыть
16a9c2992a823f2ed904335dce1bf526.djvu (6.367Mb)
Дата
1985
Автор
Барендрегт Х.
Metadata
Показать полную информацию
Аннотации
Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики,- так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик. Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.
URI
http://ir.nmu.org.ua/handle/GenofondUA/32947
Collections
  • Libgen [81666]

DSpace software copyright © 2002-2016  DuraSpace
Контакты | Отправить отзыв
Theme by 
Atmire NV
 

 

Просмотр

Весь DSpaceСообщества и коллекцииДата публикацииАвторыНазванияТематикаЭта коллекцияДата публикацииАвторыНазванияТематика

Моя учетная запись

ВойтиРегистрация

DSpace software copyright © 2002-2016  DuraSpace
Контакты | Отправить отзыв
Theme by 
Atmire NV