Analysis and synthesis of logics
Subtitle: how to cut and paste reasoning systems
By: Walter Carnielli ... [et al.].
Contributors: Carnielli, Walter A.
Series: Applied logic series -- v. 35
Publisher: Springer
Published: 2008
Place of publication: Dordrecht
Language: eng
Number of pages: 600
ISBN-13: 9781402067815; 9781402067822
Subjects: Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. 559-578) and index.