Analysis and synthesis of logics : how to cut and paste reasoning systems

Author(s)

• Carnielli, Walter A. (Walter Alexandre)
• Coniglio, Marcelo
• Gabbay, Dov M.
• Gouveia, Paula,
• Sernadas, Cristina

Bibliographic Information

Analysis and synthesis of logics : how to cut and paste reasoning systems

by Walter Carnielli ... [et al.]

（Applied logic series, v. 35）

Springer, c2010

Note

Includes bibliographical references (p. 559-578) and index

Other authors: Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

• NCID: BB13287599
• ISBN:
  • 9789048177257
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht
• Pages/Volumes: xvi, 600 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA28718584