The first series 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. Accession 2018-045 largely consists of correspondence, publications and talks, Stanford University Mathematics Department material, and other professional material.