Much shorter proofs: A bimodal investigation.Published in:Mathematical Logic Quarterly, 1990, v. 36, n. 1, p. 47, doi. 10.1002/malq.19900360107By:Carbone, Alessandra;Montagna, FrancoPublication type:Article