Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas.
By: Carnielli, Walter.
Contributor(s): Coniglio, Marcelo | Gabbay, Dov M | Gouveia, Paula | Sernadas, Cristina | SpringerLink (Online service).
Material type:
BookSeries: Applied Logic Series, 35.Publisher: Dordrecht : Springer Netherlands, 2008Description: digital.ISBN: 9781402067822.Subject(s): Mathematics | Logic | Computer science | Logic, Symbolic and mathematical | Mathematics | Mathematical Logic and Foundations | Logic | Mathematical Logic and Formal LanguagesDDC classification: 511.3 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.