Elimination of negation in a logical framework (0)

by A 2000b Momigliano
Venue:In Proceedings of the 14th Annual Conference of the European Association for Computer Science Logic (CSL’00), P. G. Clote and H. Schwichtenberg, Eds. Springer-Verlag LNCS