书目名称 | Handbook of Philosophical Logic |
副标题 | Volume 15 |
编辑 | Dov M. Gabbay,Franz Guenthner |
视频video | |
概述 | 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 |