Teorija formal'nych sistem - Smullyan, Raymond M. (Matematičeskaja logika i osnovanija matematiki, 1981)