Solution of a problem of Leon Henkin (1955)

by M H Löb
Venue:Journal of Symbolic Logic