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. 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…