Language in action : categories, lambdas, and dynamic logic / Johan van Benthem.
(Studies in logic and the foundations of mathematics. ; v. 130)
データ種別 | 図書 |
---|---|
出版者 | Amsterdam : North-Holland |
出版者 | New York : Distributors for the U.S. and Canada, Elsevier Science Pub. Co. |
出版者 | New York, N.Y., U.S.A. |
出版年 | 1991. |
本文言語 | 英語 |
大きさ | x, 349 p. ; 23 cm. |
目次/あらすじ
書誌詳細を非表示
一般注記 | Includes bibliographical references (p. 327-344) and index. |
---|---|
著者標目 | Benthem, J. F. A. K. van,(1949-) |
件 名 | Language and logic Categorial grammar Lambda calculus Logic, Symbolic and mathematical Mathematical linguistics |
分 類 | NDC:411 |
書誌ID | 1000163795 |
ISBN | 0444890009 |
NCID |
BA12001638 ![]() |