Paul G. Ledergerber . Sobre o conceito de transformada no cálculo de predicados / Newton C. A. da Costa. -- [Instituto da Matemática e Estatística da Universidade de São Paulo], 1973. -- (Notas do Instituto da Matemática e Estatística da Universidade de São Paulo . Série matemática ; no 2 (1973)).