Barkley Rosser, Leon Henkin, John George Kemeny, Michael O.