Analysis and Synthesis of Logics: How to Cut and Paste

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