close
1.

図書
図書
1. Language in action : categories, lambdas and dynamic logic. 1st MIT Press ed
Johan van Benthem
出版情報: Cambridge, Mass. : MIT Press, 1995, c1991
所蔵情報: loading…
2.

図書
図書
2. Semantics and contextual expression
R. Bartsch, J. van Benthem, and P. van Emde Boas (eds.)
出版情報: Dordrecht ; Providence RI, U.S.A. : Foris Publications, 1989
シリーズ名: Groningen-Amsterdam studies in semantics ; 11
所蔵情報: loading…
3.

図書
図書
3. A manual of intensional logic. 2nd ed., rev. and expanded (: pbk)
Johan van Benthem
出版情報: Stanford, CA : Center for the Study of Language and Information, c1988
シリーズ名: CSLI lecture notes ; no. 1
所蔵情報: loading…
4.

図書
図書
4. Language in action : categories, lambdas and dynamic logic
Johan van Benthem
出版情報: Amsterdam ; New York : North-Holland , New York : Distributors for the United States and Canada, Elsevier Science, 1991
シリーズ名: Studies in logic and the foundations of mathematics ; v. 130
所蔵情報: loading…
5.

図書
図書
5. Essays in logical semantics (: hard ; : pbk)
Johan van Benthem
出版情報: Dordrecht ; Tokyo : D. Reidel Pub. Co. , Hingham, Mass. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, c1986
シリーズ名: Studies in linguistics and philosophy ; v. 29
所蔵情報: loading…
6.

図書
図書
6. The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse
J.F.A.K. van Benthem
出版情報: Dordrecht, Holland ; Boston : D. Reidel , Hingham, MA : Distributed in the U.S.A. and Canada by Kluwer Boston, c1983
シリーズ名: Synthese library ; v. 156
所蔵情報: loading…
7.

図書
図書
7. Handbook of modal logic
edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
出版情報: Amsterdam ; Boston ; Tokyo : Elsevier, 2007
シリーズ名: Studies in logic and practical reasoning ; v. 3
所蔵情報: loading…
8.

図書
図書
8. Modal logic for open minds (: pbk ; : hbk)
Johan van Benthem
出版情報: Stanford, Calif. : CSLI Publications, c2010
シリーズ名: CSLI lecture notes ; no. 199
所蔵情報: loading…