|
by Gabbay, Dov M., Rodrigues, Odinaldo T., Russo, Alessandra
Published 2010
“.... There are three key elements to the book's approach. Firstly, the methodology of logic by translation. A specific...”Published 2010
Springer Berlin Heidelberg