Incompactness in languages with infinitely long expressions (1964)

by W Hanf
Venue:Fundam. Math