Incompactness in languages with in nitely long expressions, Fund (1964)

by W Hanf
Venue:Math