Математическая логика в программировании. Сборник статей | Мемориальная библиотека А.П. Ершова

Вы здесь

Количество экземпляров:

1

Вид:

Монография

Год:

1991

Ключевые слова:

теоретический

практический

программирование

математическая логика

ламбда-исчисление

Стр.:

408 с.

Библиография:

Библиогр.: c.395-407

Место издания:

Издательство:

Серия:

Математическое обеспечение ЭВМ

Карточка:

Б2.13.

Математическая логика в программировании. Сборник статей: Пер с. англ. -Москва.: Мир, 1991.-408 с.-(Математическое обеспечение ЭВМ).
Библиогр.: c.395-407

Таблица в старой библиотеке:

MONO3 270