ω-consistency and Loeb's Theorem

Bulletin of the Section of Logic, Tom 23, Numer 4 (1994) s. 158-162
S.M. Kim

 

do góry