Նորմալ դիտում MARC դիտում ISBD Դիտում

Ламбда-исчисление : Его синтаксис и семантика / Х.П. Барендрегт ; Пер. с англ. Г.Е. Минца ; Под ред. А.С. Кузичева.

Կողմից։

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

Աջակցող(ներ)։

Նյութի տեսակ։

ՏեքստՀրատարակման մանրամասներ։ Москва : Мир , 1985.Նկարագրություն։ 608 сԽորագրեր։

Математическая логика

Ցուցիչներ այս գրադարանից: Չկան ցուցիչներ այս գրադարանի այս վերնագրի համար. Մուտք գործիր ցուցիչներ ավելացնելու համար.

Պահումներ
Նյութի տեսակ	Ընթացիկ գրադարան	Հավաքածու	Դարակային համար	Հատորի տվյալ	Վիճակ	Նշումներ	Շտրիխ կոդ
Book	Engineering University Library	Գիտական	510.6 Б-24 (Դիտման դարակ(Բացվում է ներքևում))	т.2	Հասանելի	30 Days Loan	EU0309178
Book	Engineering University Library	Գիտական	510.6 Б-24 (Դիտման դարակ(Բացվում է ներքևում))	т.2	Հասանելի	30 Days Loan	EU0309179
Book	Engineering University Library	Գիտական	510.6 Б-24 (Դիտման դարակ(Բացվում է ներքևում))	т.2	Հասանելի	30 Days Loan	EU0309180
Book	Fundamental Scientific Library	General	PII/534541 (Դիտման դարակ(Բացվում է ներքևում))		Հասանելի	25 Days Loan	FL0164420
Book	Fundamental Scientific Library	General	PII/536588 (Դիտման դարակ(Բացվում է ներքևում))		Հասանելի	25 Days Loan	FL0158612
Book	Yerevan State University Library	Depository	519.9 Б-248 (Դիտման դարակ(Բացվում է ներքևում))		Հասանելի	Term Loan	2502864578

Դիտման Engineering University Library դարակ, Հավաքածու։ Գիտական Փակիր դարակի դիտակը (Թաքցնում է դարակի դիտակը)

Նախորդ	Չկան հասանելի կազմերի պատկերներ	Չկան հասանելի կազմերի պատկերներ	Չկան հասանելի կազմերի պատկերներ	Չկան հասանելի կազմերի պատկերներ	Չկան հասանելի կազմերի պատկերներ	Չկան հասանելի կազմերի պատկերներ	Չկան հասանելի կազմերի պատկերներ	Հաջորդը
Նախորդ	510.5 Т-12 Таблицы интегральной показательной функции /	510.51 М-21 Алгоритмы и рекурсивные функции /	510.6 Б-24 Ламбда-исчисление : Его синтаксис и семантика /	510.6 Б-24 Ламбда-исчисление : Его синтаксис и семантика /	510.6 Б-24 Ламбда-исчисление : Его синтаксис и семантика /	510.6 Г-45 Популярная логика : Общедоступный очерк логики предложений /	510.6 Г-45 Популярная логика : Общедоступный очерк логики предложений /	Հաջորդը

Оригинал на англ. : The Lambda Calculus : Its Syntax and Semantics / H.P. Barendregt - Amsterdam New York Oxford : North-Holland Publishing Company : 1981

Այս վերնագրի համար չկան մեկնաբանություններ։

ուղարկել մեկնաբանություն։

Տպել
Ավելացրու քո սայլակին (հեռացրու)
Հիշիր գրառումը
BIBTEX Դուբլինյան միջուկ ISBD MARC (ոչ-Unicode/MARC-8) MARCXML MODS (XML) RIS MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Ստանդարտ)
Ավելի փնտրումներ

Որոնիր այս վերնագիրը ներսում՝
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)