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

Image from Google Jackets

Normal view MARC view

Ламбда-исчисление Его синтаксис и семантика Х. Барендрегт; Пер. с англ. Г. Е. Минца

TextLanguage: Russian Original language: English Publication details: М. Мир 1985Description: 606 с. ил. 22 смSubject(s): математическая логика

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Copy number	Status	Barcode
6 месяцев	Научная библиотека ТГУ Абонемент. Депозитарий	51 Б248 (Browse shelf(Opens below))	1	Available	13820000239787
6 месяцев	Научная библиотека ТГУ Абонемент. Депозитарий	51 Б248 (Browse shelf(Opens below))	2	Available	13820000239788
6 месяцев	Научная библиотека ТГУ Абонемент. Депозитарий	51 Б248 (Browse shelf(Opens below))	3	Available	13820000274742

Previous	No cover image available		No cover image available	No cover image available	No cover image available			Next
Previous	51 Б23 Дифференциальное и интегральное исчисление	51 Б241 Экстремальные комбинаторные задачи и их приложения	51 Б248 Ламбда-исчисление Его синтаксис и семантика	51 Б248 Ламбда-исчисление Его синтаксис и семантика	51 Б248 Ламбда-исчисление Его синтаксис и семантика	51 Б248 Автомодельные явления - анализ размерностей и скейлинг	51 Б248 Автомодельные явления - анализ размерностей и скейлинг	Next

Перевод изд.: The lambda calculus / H. P. Barendregt (Amsterdam etc., 1981)

There are no comments on this title.

to post a comment.