Smullyan, Raymond Merrill, <i>Theory of Formal Systems.</i> Ph.D., Princeton University, 1959.