Alfred Bork Kenneth Bowles Patrick Suppes