Some remarks on infinitely long formulas. In Infinitistic Methods. (1959)

by L Henkin