Author: Don Leonard PigozziAlfred TarskiPublication date: June 1, 1970Publication type: PhD Thesis (Author field refers to student + advisor)