View of Multi-sorted version of second order arithmetic

Return to Article Details Multi-sorted version of second order arithmetic Download Download PDF