Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series)
Hardcover: 604 pages
Publisher: Springer (February 4, 2008)
Language: English
ISBN-10: 140206781X
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series)
Hardcover: 604 pages
Publisher: Springer (February 4, 2008)
Language: English
ISBN-10: 140206781X

