| 书目名称 | Handbook of Philosophical Logic |
| 副标题 | Volume 15 |
| 编辑 | Dov M. Gabbay,Franz Guenthner |
| 视频video | http://file.papertrans.cn/422/421916/421916.mp4 |
| 概述 | Lambda Calculi: A Guide Interpolation and Definability.Comprehensive coverage.Discourse Representation Theory comprehensive coverage.Focuses on selected topics |
| 丛书名称 | Handbook of Philosophical Logic |
| 图书封面 |  |
| 描述 | Lambda Calculi: A Guide Interpolation and DefinabilityDiscourse Representation Theory |
| 出版日期 | Book 2011Latest edition |
| 关键词 | discourse; interpolation; lambda caculus |
| 版次 | 2 |
| doi | https://doi.org/10.1007/978-94-007-0485-5 |
| isbn_softcover | 978-94-007-3451-7 |
| isbn_ebook | 978-94-007-0485-5Series ISSN 3004-992X Series E-ISSN 3004-9938 |
| issn_series | 3004-992X |
| copyright | Springer Science+Business Media B.V. 2011 |