(No Title)
収録刊行物
-
- Language in Action (Categorys, Lambdas and Dynamic Logic)
-
Language in Action (Categorys, Lambdas and Dynamic Logic) 1991
Elesevier Science Publishers B. V.