Incompactness in languages with infinitely long expressions,k Fundamenta Mathematicae 53 (1964)

by William P Hanf