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

Name: Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series)
Author: Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
ISBN: 9781402067815

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

PublisherSpringer

CategoryMathematics

Shop on Amazon — choose your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

189.88 USD

Buy New on Amazon 🇺🇸

Book Details

Author(s)Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

PublisherSpringer

ISBN / ASIN140206781X

ISBN-139781402067815

CategoryMathematics

MarketplaceUnited States 🇺🇸

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

Analysis and Synthesis of Logics: How to Cut and Paste…

View

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

Book Details

More Books in Mathematics

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