|
|
by Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula
Published 2008
“... nature (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). The important...”Published 2008
Springer Netherlands