formallogicascie00schiuoft