Բեռնվում է…

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

Պահպանված է:

Մատենագիտական մանրամասներ
Հիմնական հեղինակ:	Барендрегт, Хендрик Питер
Այլ հեղինակներ:	Минц, Г.Е (Թարգմանիչ, пер.), Кузичев, А.С (Խմբագիր, ред.)
Ձևաչափ:	Գիրք
Լեզու:	Russian English
Հրապարակվել է:	Москва : Мир, 1985.
Խորագրեր:	Математическая логика
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

Նմանատիպ նյութեր