Embeddings, Homomorphisms and -definability (1982)

by R Statman