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 |