Author: Roger Duncan MadduxAlfred TarskiPublication date: December 1, 1978Publication type: PhD Thesis (Author field refers to student + advisor)