Skip to main content

Decidability (Mathematical logic)

 Subject
Subject Source: Library of Congress Subject Headings

Found in 1 Collection or Record:

Henry S. Leonard papers

 Collection
Identifier: UA-17.361
Scope and Contents The Henry S. Leonard papers contain materials from Leonard's academic career beginning as a student, course materials including syllabi from Leonard's time teaching at Duke University and Michigan State University, notes, drafts of Leonard's publications, and finished articles and publications. There is also material related to societies Leonard belonged to as well as a small amount of correspondence. A book honoring Leonard and his work, as well as two Process...
Dates: 1914, 1934-1967