Return to Article Details An intermediate term functor logic Download Download PDF