Note on the existenec of most general uni (1993)

by Matthias Baaz
Venue:Arithmetic, Proof Theory and Logical Complexity