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