[1]МедицинаRUРецензированоОткрытый доступ
Коронавирус ассоциированная нефропатия: современный взгляд на проблему
Медицина и инновацииМ Сабиров, О Скосырева +12021
РецензированоRU1985
Ламбда-исчисление
Барендрегт X
Монографии · 1985
Аннотация
Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики,— так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги — известный голландский математик
Доказательный фрагмент
«Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики,— так называемом ламбда-исчислении.»
Образец извлечения
Демо-превьюМонография посвящена классическим и новым результатам в активно развивающемся направлении математической логики,— так называемом ламбда-исчислении. Полный текст публикации CiteX не хранит — доступ к первоисточнику открывается по DOI согласно лицензии издателя и выбранному плану.
Смежные источники
[3]ПедагогикаUZРецензированоОткрытый доступ
MAXSUS KIYIM MATERIALLARINING TERMO-FIZIK PARAMETRLARINI ANIQLOVCHI OMILLAR
Научные статьиM.H.Sayidova, S.U.Pulatova2025
14
[4]ЮриспруденцияENРецензированоОткрытый доступ
THE CONCEPT AND SOCIAL DANGER OF CRIMES RELATED TO THE ILLEGAL HANDLING OF POTENT OR TOXIC SUBSTANCES
ЖУРНАЛ ПРАВОВЫХ ИССЛЕДОВАНИЙСуванов Сардор Бахадирович2026
131