Image from Amazon.com
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.
Series: Applied Logic Series ; 35Publication details: Dordrecht : Springer Science+Business Media B.V., 2008.Description: xvi, 600 p. : ill., digital ; 25 cmISBN:- 9781402067822 (electronic bk.)
- 9781402067815 (paper)
- 511.3 22
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.