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

Analysis and Synthesis of Logics - 2008 - Springer Netherlands 2008 - Applied Logic Series .

9781402067822


Mathematics and Statistics