Author: J.W. Addison, Leon Henkin, Alfred Tarski