The Work Epsilon substitution for first- and second-order predicate logic The details The Author Grigori Mints The offers