On a Unification Problem related to Kreisel’s Conjecture (1988)

by P Pudlák
Venue:Commentationes Mathematicae Universitatis Carolinae