He was the founding editor of the Journal of Symbolic Logic, editing its reviews section until 1979.
A fost redactor fondator al Journal of Symbolic Logic⁠(d), editându-i secțiunea de recenzii până la 1979.