The Boolean Algebra of Sentences of the Theory of a Function

Author: 
Roger Alan Simons
William Porter Hanf
Publication date: 
June 1, 1972
Publication type: 
PhD Thesis (Author field refers to student + advisor)