Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory
Das E-Book Handbook of Philosophical Logic wird angeboten von Springer Netherlands und wurde mit folgenden Begriffen kategorisiert:
discourse;interpolation;lambda caculus
表中的内容
Editorial Preface.- Dov M. Gabbay.- Lambda Calculi: A Guide.- Chris Hankin.- Interpolation and Definability .- Dov Gabbay and Larisa L. Maksimova.- Discourse Representation Theory .- Hans Kamp, Josef van Genabith and Uwe Reyle.- Index.
购买此电子书可免费获赠一本!
语言 英语 ● 格式 PDF ● 网页 402 ● ISBN 9789400704855 ● 文件大小 2.8 MB ● 编辑 Dov M. Gabbay & Franz Guenthner ● 出版者 Springer Netherland ● 市 Dordrecht ● 国家 NL ● 发布时间 2010 ● 版 2 ● 下载 24 个月 ● 货币 EUR ● ID 2221848 ● 复制保护 社会DRM