Author: Martin Helling, deceasedRobert Lawson VaughtPublication date: September 1, 1966Publication type: PhD Thesis (Author field refers to student + advisor)