EntityQ7611834· pop 8· linked from 22 articlesSteve AwodeySign in to saveAmerican philosopherConnectionslogicEntitymathematicsEntityphilosophyEntityMichiganEntityInternational Standard Book NumberEntitymathematicianEntitydigital object identifierEntityUniversity of ChicagoEntityJSTOROrganizationQ118398Entityphilosophy of mathematicsEntityCarnegie Mellon UniversityEntitycategory theoryEntityUniversity of MarburgEntitythesisEntityInstitute for Advanced StudyEntityQ22908627Entitymodel theoryEntitySaunders Mac LaneEntitytype theoryEntityCategories1959 births20th-century American mathematicians21st-century American mathematiciansAmerican logiciansAmerican philosophers of mathematicsCarnegie Mellon University facultyInstitute for Advanced Study visiting scholarsLiving peopleMarburg University alumniUniversity of Chicago alumni