Categories and Types in Logic, Language, and Physics Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday /
For more than 60 years, Jim Lambek has been a profoundly inspirational mathematician, with groundbreaking contributions to algebra, category theory, linguistics, theoretical physics, logic and proof theory. This Festschrift was put together on the occasion of his 90th birthday. The papers in it give...
| Опубликовано в: : | Springer eBooks |
|---|---|
| Соавтор: | |
| Другие авторы: | , , , |
| Формат: | Электронная книга |
| Язык: | English |
| Публикация: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2014.
|
| Серии: | Lecture Notes in Computer Science,
|
| Предметы: | |
| Online-ссылка: | http://dx.doi.org/10.1007/978-3-642-54789-8 Перейти в каталог НБ ТГУ |