An interpolation theorem for denumerably long formulas

Esteban López‐Escobar

Fundamenta Mathematicae · 1965 · 140 citations · 0 references

DOIFull text

Open access

Concepts