Generality of proofs and its Brauerian representation, The (0)

by K Doˇsen, Z Petrić
Venue:Journal of Symbolic Logic