Author: Charles Fontaine MartinAlfred TarskiPublication date: June 1, 1973Publication type: PhD Thesis (Author field refers to student + advisor)