DanaScottinthe1960sand70sshowedhowtomarrymodeltheoryandcombinatorylogic.
theory