Record ID:
35292612 (Libraries Australia Authorities)
Authority type:
  • Name.
Description conventions:
  • rda
LC number:
  • n 83016635
Heading:
Birth:
  • 19071206
  • Jacksonville (Fla.)
Death:
  • 19890905
  • Madison (Wis.)
Associated with:
  • United States
Fields of activity:
  • Lambda calculus
  • Logic, Symbolic and mathematical
  • Number theory
  • Textbooks--Authorship
Occupations:
  • Logicians
Used for:
  • Rosser, John Barkley, 1907-1989
  • Rosser, J. Barkley (John Barkley), 1907-
Notes:
  • His 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)
Local system number:
  • (AuPaJTL)130546
  • abv04166872
  • 000000294106
Cataloguing source:
  • IEN eng rda DLC OCoLC