bn:03533131n
Noun Named Entity
Categories: Mathématicien américain du XXe siècle, Boursier Guggenheim, Logicien américain, Naissance à Jacksonville (Floride), Décès à Madison (Wisconsin)
FR
John Barkley Rosser  Barkley Rosser  J. Barkley Rosser
FR
John Barkley Rosser père est un logicien américain, étudiant d'Alonzo Church, connu pour la propriété de Church-Rosser en lambda-calcul. Wikipedia
Definitions
Relations
Sources
FR
John Barkley Rosser père est un logicien américain, étudiant d'Alonzo Church, connu pour la propriété de Church-Rosser en lambda-calcul. Wikipedia
Logicien américain. Wikipedia Disambiguation
Wikipedia
Wikidata
Wikipedia Redirections