On a uni cation problem related to Kreisel's conjecture. Commentationes Mathematicae Universitatis Carolinae, 29(3):551{ 556 (1988)

by P Pudlak
Venue:Comp. Sci. Dept., Boston Univ