Spende 15. September, 2024 – 1. Oktober, 2024 Über Spenden

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

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

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

Барендрегт, Хендрик Питер

0 / 0

Wie gefällt Ihnen dieses Buch?

Wie ist die Qualität der Datei?

Herunterladen Sie das Buch, um Ihre Qualität zu bewerten

Wie ist die Qualität der heruntergeladenen Dateien?

Jahr:

1985

Verlag:

Мир

Sprache:

russian

Seiten:

607

Datei:

DJVU, 8.33 MB

IPFS:

,

russian, 1985

Online lesen

Die Konvertierung in ist im Gange

Die Konvertierung in ist fehlgeschlagen

Es kann für Sie interessant sein

Скорняков Л. А. — Элементы теории структур

Ляпунов А.А., Лупанов О.Б. — Кибернетический сборник. Новая серия. Выпуск 08

Барвайс Дж. (ред.) — Справочная книга по математической логике. В 4-х частях. Часть 4. Теория доказательств и конструктивная математика

Барендрегт Х. — Ламбда-исчисление. Его синтаксис и семантика

Касселс Дж.В.С. — Введение в теорию диофантовых приближений

Гельфанд А.О., Линник Ю.В. — Элементарные методы в аналитической теории чисел

Касселс Дж.В.С. — Введение в теорию диофантовых приближений

Платонов В.П., Рапинчук А.С. — Алгебраические группы и теория чисел

Шилов Г.Е. (ред.) — Мехмат. Кафедра ТФФА. Труды №1. Анализ в бесконечномерных пространствах

Шевчук И. А. — Приближение многочленами и следы непрерывных на отрезке функций

Роббинс Г., Сигмунд Д., Чао И. — Теория оптимальных правил остановки

Хариш-Чандра. — Автоморфные формы на полупростых группах Ли

— Группы и другие алгебраические системы с условиями конечности

Данфорд, Шварц и др. — Линейные операторы. Спектральная теория

Шенфилд Д. — Математическая логика

Крылов Н.В. — Введение в теорию случайных процессов,

Крылов Н.В. — Лекции по теории эллиптических дифференциальных уравнений

Кострикин А.И., Артамонов В.А., Бахтурин Ю.А. — Сборник работ по алгебре

Бочвар Д.А., Гришин В.Н. (ред.) — Исследования по теории множеств и неклассическим логикам

Дж. Барвайс (ред.) — Справочная книга по математической логике В 4-х частях. Теория доказательств и конструктивная математика.

Дж. Барвайс (ред.) — Справочная книга по математической логике В 4-х частях. Теория множеств.

Шехтман В.Б. — Модальные логики топологических пространств [докт. дисс.]

Барвайс Дж. — Справочная книга по математической логике: В 4-х частях. Ч. II. Теория множеств

Барвайс Дж. — Справочная книга по математической логике: В 4-х частях. Ч. IV. Теория доказательств и конструктивная математика

Барендрегт Х. — Ламбда-исчисление Его синтаксис и семантика

Салий В.Н. (отв. ред.) — Упорядоченные множества и решетки. Выпуск 6

Йех Т. — Теория множеств и метод форсинга

Скорняков Л. — Элементы теории структур

Скорняков Л.А. — Элементы общей алгебры

Бочвар Д.А., Гришин В.Н. (ред.) — Исследования по теории множеств и неклассическим логикам

Стейнберг Р. — Лекции о группах Шевалле

Девис М. — Прикладной нестандартный анализ

Лере Ж. (J.Leray) — Гиперболические дифференциальные уравнения

Гаевский Х., и др. (Gajewski) — Нелинейные операторные уравнения и операторные дифференциальные уравнения

Маслов В.П. — Операторные методы (введение в функ. анализ)

Am meisten angefragte Begriffe

доказательство

определение

множество

показать

редукции

редукция

получается

предложение

следовательно

некоторого

множества

следствие

называется

получаем

допустим

результат

исчисление

разрешим

отображение

следующим

индукцией

предложения

свойством

существует

переменных

аналогично

отношение

следствия

утверждение

обладает