Some remarks on infinitely long formulas, in: Infinitistic Methods (1959)

by L Henkin
Venue:Proceedings of the Symposium on Foundations of Mathematics