Modal´naja logika - Feys, Robert (Matematičeskaja logika i osnovanija matematiki, 1974)