Language in action : categories, lambdas and dynamic logic
- 種類:
- 図書
- 責任表示:
- Johan van Benthem
- 出版情報:
- Amsterdam ; New York : North-Holland
New York : Distirbutors for the United States and Canada, Elsevier Science Publishing Company Inc., 1991 - 著者名:
- Benthem, J. F. A. K. van, 1949- <DA00887300>
- シリーズ名:
- Studies in logic and the foundations of mathematics ; v. 130 <BA00099329>
- ISBN:
- 9780444890009 [0444890009]
- 注記:
- Includes bibliography (p. 327-344) and index
Copyright Elsevier Science Publishers B.V., 1991
類似資料:
Elsevier, MIT Press |
Cambridge University Press |
Center for the Study of Language and Information |
D. Reidel Pub. Co. |
Cambridge University Press |
Elsevier |
Springer-Verlag | |
MIT Press |
Cambridge University Press |
Springer-Verlag |
MIT Press |