Education: Ph.D. 1972 Yale University

MathSciNet: Click Here

Math Genealogy:  Click Here

Main Research Group:  Logic

Research Interests:   Logic