Lectures on the Curry-Howard isomorphism.

-д хадгалсан:

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид:	Sørensen, Morten Heine (Зохиогч), Urzyczyn, Paweł (Зохиогч)
Формат:	Ном
Хэл сонгох:	англи
Хэвлэсэн:	Amsterdam, The Netherlands; Boston, USA: Elsevier, 2006.
Хэвлэл:	First edition.
Цуврал:	Studies in logic and the foundations of mathematics, vol. 149
Нөхцлүүд:	Isomorfismo de Curry-Howard. Cálculo lambda
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

Biblioteca Mayor de Ingeniería -

Biblioteca Mayor de Ingeniería - -с авсан түр хойшлуулсан зүйлсийн дэлгэрэнгүй мэдээлэл
Зохиогчийн тэмдэгт:	511.326 SOR 2006
Хуулбар 1	Бэлэн Түр хойшлуулалтыг байршуулах