Buy Used and New PaulaGouveia Books

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series)

by Walter Carnielli,Marcelo Coniglio,Dov M. Gabbay,Paula Gouveia,Cristina Sernadas

ISBN 13: 9781402067815

Format: Hardcover (620 pages)
Publisher: Springer
Published: 04 Feb 2008

Save for later