Author: Robert Lawson VaughtAlfred TarskiPublication date: September 1, 1954Publication type: PhD Thesis (Author field refers to student + advisor)