LANGUAGE IN ACTION CATEGORIES LAMBDAS AND DYNAMIC LOGIC
Language in action : categories, lambdas and dynamic logic / Johan van Benthem
| データ種別 | 図書 |
|---|---|
| 版 | 1st MIT Press ed |
| 出版者 | Cambridge, Mass. : MIT Press |
| 出版年 | 1995, c1991 |
| 本文言語 | 英語 |
| 大きさ | x, 365 p. : ill. ; 23 cm |
書誌詳細を非表示
| 一般注記 | Originally published: Amsterdam ; Tokyo : North-Holland, 1991 Bibliography: p. 327-344, 352-359 Includes index |
|---|---|
| 著者標目 | *Benthem, J. F. A. K. van, 1949- <BENTHEM J F A K VAN> |
| 件 名 | LCSH:Language and logic LCSH:Categorial grammar LCSH:Lambda calculus LCSH:Logic, Symbolic and mathematical LCSH:Mathematical linguistics |
| 分 類 | LCC:P39.B46 1995 DC20:401/.43 |
| 書誌ID | 0000357249 |
| ISBN | 0262720248 |
| NCID | BA25461696 |