%0 Journal Article
%A Pudlák, Pavel
%T On a unification problem related to Kreisel's conjecture
%J Commentationes Mathematicae Universitatis Carolinae
%D 1988
%P 551-556
%V 29
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_1988__29_3_a14/
%G en
%F CMUC_1988__29_3_a14