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...
| Published in: | Springer eBooks |
|---|---|
| Corporate Author: | |
| Other Authors: | , , , |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2014.
|
| Series: | Lecture Notes in Computer Science,
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-3-642-54789-8 Перейти в каталог НБ ТГУ |