Smullyan, Raymond Merrill. <i>Theory of Formal Systems.</i> 1959.