Hybrid logic and its proof-theory
Author(s)
Bibliographic Information
Hybrid logic and its proof-theory
(Applied logic series, v. 37)
Springer, c2011
Available at / 13 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
BRA||61||1200021322166
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. 221-228) and index