Logic with denumerably long formulas and finite strings of quantifiers (1965)

by D Scott