GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Manuel Lerman
URI:
https://gptkb.org/entity/Manuel_Lerman
GPTKB entity
Statements (14)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:Massachusetts_Institute_of_Technology
gptkbp:birthYear
1941
gptkbp:deathYear
2022
gptkbp:doctoralAdvisor
gptkb:Gerald_Sacks
gptkbp:field
gptkb:logic
recursion theory
https://www.w3.org/2000/01/rdf-schema#label
Manuel Lerman
gptkbp:nationality
gptkb:American
gptkbp:notableWork
gptkb:Degrees_of_Unsolvability:_Local_and_Global_Theory
gptkbp:occupation
gptkb:mathematician
gptkbp:workInstitution
gptkb:University_of_Connecticut
gptkbp:bfsParent
gptkb:Hartley_Rogers_Jr.
gptkbp:bfsLayer
5