|
by Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula
Published 2008
Subjects:
“...Mathematical logic...”Published 2008
Springer Netherlands
|
by D'Avila Garcez, Artur S., Lamb, Luís C., Gabbay, Dov M.
Published 2009
Subjects:
“...Logic...”Published 2009
Springer Berlin Heidelberg