このページのリンク

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.

所蔵情報を非表示


ASRS 411/B357kz 04164816
0444890009

書誌詳細を非表示

一般注記 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 WCLINK

 類似資料