On the independence of B from I, C, W, K'1 and Karpenko's formula X

Bulletin of the Section of Logic, Tom 23, Numer 3 (1994) s. 96-97
Dolph Ulrich

 

do góry