Type-Logical Semantics
Автор
Carpenter B.
Год
1997
Страниц
589
ISBN
ISBN13:9780262032483
Издатель
MIT
Описание: