Author: Chen Chung ChangAlfred TarskiPublication date: June 1, 1955Publication type: PhD Thesis (Author field refers to student + advisor)