Modal'naja logika - Feys, Robert (Matematičeskaja logika i osnovanija matematiki / Nauka - Moskva., 1974)