Mathematician:John Barkley Rosser Sr.

Mathematician
American logician best known for his work in mathematical logic.

Nationality
American

History

 * Born: 6 December 1907 in Jacksonville, Florida
 * Died: 5 September 1989 in Madison, Wisconsin

Theorems and Definitions

 * Church-Rosser Theorem (with )
 * Rosser Sieve

Publications

 * 1934: A mathematical logic without variables
 * 1969: Simplified Independence Proofs: Boolean Valued Models of Set Theory
 * 1978: Logic for Mathematicians
 * 1984: Highlight of the History of Lambda Calculus