Carnielli, Walter A. (Eds.) (2008) Analysis and synthesis of logicshow to cut and paste reasoning systems Dordrecht : Springer,MLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Analysis and synthesis of logics [electronic resource] : how to cut and paste reasoning systems /
Walter Carnielli ... [et al.].
|Names:||Carnielli, Walter A.|
|Published:||Dordrecht : Springer, c2008.|
Applied logic series ; v. 35
|Topics:||Logic, Symbolic and mathematical.|
SpringerLink (Opens in a new window) Link to Analysis and synthesis of logics (access limited to Benedictine University patrons)