On model-completeness, Theoria 30 (1964)

by P Lindstrom
Venue:J. Symbolic Logic