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

dc.contributor.author	Барендрегт, Хендрик Питер
dc.date.accessioned	2016-02-22T05:49:07Z
dc.date.available	2016-02-22T05:49:07Z
dc.date.issued	1985
dc.identifier.isbn
dc.identifier.issn
dc.identifier.uri	http://ir.nmu.org.ua/handle/GenofondUA/47340
dc.description.abstract
dc.language.iso	Russian
dc.publisher	Мир
dc.subject
dc.subject
dc.subject.ddc
dc.subject.lcc
dc.title	Ламбда-исчисление Его синтаксис и семантика
dc.type	other
dc.identifier.aich	7O7V77ZNAIFB7BTTNJH7INCR3ECQVK7Y
dc.identifier.crc32	73CE0639
dc.identifier.doi
dc.identifier.edonkey	372017FCCC5BDE1C751AA5E41DCFF4C2
dc.identifier.googlebookid
dc.identifier.openlibraryid
dc.identifier.udk
dc.identifier.bbk
dc.identifier.libgenid	911698
dc.identifier.md5	5abaddb082a3be9bf033d3f4dee23412
dc.identifier.sha1	AIZCZFCEW642HB6ICC4NC3C7GRIFWBES
dc.identifier.tth	RMHNVXSRH7KKOJBEC5EG27QJA3ZH3J62YGY6ZJY