Analysis and Synthesis of Logics
Subtitle: How to Cut and Paste Reasoning Systems
Publisher: Springer Netherlands
Published: 2010
Language: eng
ISBN-13: 9789048177257
Subjects: Logic, symbolic and mathematical