Mathematician:Leon Henkin