New dimensions on translations between logics (2009)

by Walter A. Carnielli , Marcelo E. Coniglio , Itala M. L. D’ottaviano
Citations:1 - 0 self