Smullyan, Raymond Merrill, and Princeton University. 1959. Theory of Formal Systems.