Internal models for any finite subset of the axioms of the impredicative theory of classes

Bulletin of the Section of Logic, Tom 7, Numer 2 (1978) s. 88
Manuel Corrada, Rolando Chuaqui

 

do góry