Реферат

статьи С.Ю. Маслова "An invertible sequential version of the constructive predicate caculus".