Models of languages with infinitely long expressions (1960)

by William Hanf
Venue:Stanford University