Generality of proofs and its Brauerian representation

by Zoran Petrić
Venue:J. Symbolic Logic
Citations:14 - 4 self