Teorija formaľnych sistem - Smullyan, Raymond Merrill, 1919- (Matematičeskaja logika i osnovanija matematiki, 1981)