Solution of a Problem of Leon Henkin (1955)

by M Löb
Venue:Journal of Symbolic Logic