The Work Analysis and Synthesis of Logics. How to Cut and Paste Reasoning Systems The details The Author Walter Carnielli The offers View on Kindle View paperback on Amazon View hardback on Amazon