dc.contributor.author | Барендрегт Х. | |
dc.date.accessioned | 2016-02-21T16:46:16Z | |
dc.date.available | 2016-02-21T16:46:16Z | |
dc.date.issued | 1985 | |
dc.identifier.isbn | В-пер | |
dc.identifier.issn | | |
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/32947 | |
dc.description.abstract | Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики,- так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик. Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов. | |
dc.language.iso | Russian | |
dc.publisher | Мир | |
dc.subject | Компьютеры | |
dc.subject | Computers | |
dc.subject.ddc | | |
dc.subject.lcc | | |
dc.title | Ламбда-исчисление Его синтаксис и семантика | |
dc.type | other | |
dc.identifier.aich | YOLAM3JVCFFKEDE32A65PO4VLA65HYTT | |
dc.identifier.crc32 | FC1F97A3 | |
dc.identifier.doi | | |
dc.identifier.edonkey | 9B80B7389BBA24CE4029573C55FD1439 | |
dc.identifier.googlebookid | | |
dc.identifier.openlibraryid | | |
dc.identifier.udk | | |
dc.identifier.bbk | | |
dc.identifier.libgenid | 1437 | |
dc.identifier.md5 | 16A9C2992A823F2ED904335DCE1BF526 | |
dc.identifier.sha1 | 2DT3JUCK3JRBF3K2QDI7XSAUTAMMEWYL | |
dc.identifier.tth | B3OIXIKFVVQ6EMKSD5KEYWWP7F2VBXPNP6UAYJI | |