The Work Mathematical Logic and Computability The details The Author Howard Jerome Keisler The offers