Analysis and synthesis of logics : how to cut and paste reasoning systems
Author(s)
Bibliographic Information
Analysis and synthesis of logics : how to cut and paste reasoning systems
（Applied logic series, v. 35）
Springer, c2008
- : e-book
Available at / 9 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
CAR||74||1200005161640
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. 559-578) and index
Other authors: Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas