J.W. Addison, Leon Henkin, Alfred Tarski