The Theory of Definability in Applied Predicate Languages for Number Theory

Author: 
Guy Meriwether Benson
Publication date: 
December 1, 1966
Publication type: 
PhD Thesis (Author field refers to student + advisor)