. . "These papers primarily document Feferman's term as president of the Association for Symbolic Logic from 1980 to 1982. The material consists largely of correspondence, meeting agendas and minutes, and material from symposia and lectures."@en . . . . . . "Solomon Feferman papers"@en . . . . . . . .