The Library of Congress > LCCN Permalink

View this record in:  MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)External Link

Rosser, J. Barkley (John Barkley), 1907-1989

LC control no.n 83016635
Descriptive conventionsrda
Personal name headingRosser, J. Barkley (John Barkley), 1907-1989
    Browse this term in  LC Authorities  or the  LC Catalog
Variant(s)Rosser, John Barkley, 1907-1989
Associated countryUnited States
Birth date19071206
Death date19890905
Place of birthJacksonville (Fla.)
Place of deathMadison (Wis.)
Field of activityLogic, Symbolic and mathematical
Number theory
Lambda calculus
Textbooks--Authorship
Profession or occupationLogicians
Found inHis Pocket calculator supplement for calculus, c1979: t.p. (J. Barkley Rosser)
LC data base, 6-9-83 (hdg.: Rosser, John Barkley, 1907- ; usage: J. Barkley Rosser)
Wikipedia, January 5, 2015 (J. Barkley Rosser; John Barkley Rosser Sr.; born December 6, 1907 in Jacksonville, Florida; died September 5, 1989 in Madison, Wisconsin; was an American logician, a student of Alonzo Church, and known for his part in the Church-Rosser theorem, in lambda calculus; developed what is now called the Rosser sieve, in number theory; wrote mathematical textbooks as well; fields: mathematical logic, number theory)
Associated languageeng