Cut elimination for a class of propositional based logics (2005)

by J. Rasga
Citations:4 - 2 self