Author: William Porter HanfAlfred TarskiPublication date: January 1, 1963Publication type: PhD Thesis (Author field refers to student + advisor)