Mathematician:John Barkley Rosser Sr.

American logician best known for his work in Mathematical Logic.

Nationality
American

History

 * Born: May 11, 1907, New York City, USA
 * Died: September 30, 1973

Theorems and Definitions

 * Church-Rosser Theorem (with Alonzo Church)
 * Rosser Sieve

Educational Movies

 * 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