Корично изображение Книга

Semantics and logics of computation /

Други автори: Pitts, A. M., Dybjer, Peter.
Формат: Книга
Език: English
Публикувано: Cambridge UK ; New York : Cambridge University Press, 1997.
Серия: Publications of the Newton Institute 14
Предмети:
Физически характеристики: xii, 361 p. : ill. ; 24 cm.
Библиография: Includes bibliographical references and index.
ISBN: 0521580579 (Hard)