Reduction of and in derivations (0)

by G Mints
Venue:Ann. of Pure and Appl. Logic