Solution of a problem of Leon Henkin (1955)

by M H Lob
Venue:Journal of Symbolic Logic