|
by Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula
Published 2008
“... involved in research projects where logic is used as a tool and the need for working with several logics...”Published 2008
Springer Netherlands