A Compact Representation of Proofs. Studia Logica 46/4 (0)

by D Miller