Topics covered include propositional calculi, predicate calculi, formal number theory, programming logics, and type theory. The first lecture will provided an overviewof the course and course mechanics.
Born in Far Rockaway, New York, his first career was stage magic. He earned a BSc from the University of Chicago in 1955 and his Ph.D. from Princeton University in 1959. He is one of many logicians to have studied with Alonzo Church. 1e1e36bf2d