analysis and synthesis of logics,how to cut and paste reasoning systems

walter carnielli · springer verlag