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.

Author
Carnielli, Walter [Browse]
Format
Data file
Language
English
Published/​Created
Dordrecht : Springer Science+Business Media B.V., 2008.

Details

Subject(s)
Series
Applied Logic Series, 1386-2790 ; 35 [More in this series]
In
Springer ebooks mathematics and statistics collection
ISBN
9781402067822
OCLC
233972622
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...
Other views
Staff view