Type-Logical Semantics / Type-Logical Semantics

Збережено в:
Бібліографічні деталі
Автор: Carpenter, Bob
Формат: Книга
Опубліковано: Cambridge : MIT Press, 1997
Редагування:1st ed.
Предмети:
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Опис
Фізичний опис:592 p.
Бібліографія:Formal semantics and logic.
ISBN:0-262-53149-6