Forcing with proper classes
Tom 81 / 1973
                    
                    
                        Fundamenta Mathematicae 81 (1973), 1-27                    
                                        
                        DOI: 10.4064/fm-81-1-1-27