Author: Steven Roger GivantRobert Lawson VaughtPublication date: January 1, 1973Publication type: PhD Thesis (Author field refers to student + advisor)