A dual of mapping cone . Sobre o conceito de transformada no cálculo de predicados
Paul G. Ledergerber . Newton C. A. da Costa
(Notas do Instituto da Matemática e Estatística da Universidade de São Paulo, . Série matemática ; no 2 (1973))
[Instituto da Matemática e Estatística da Universidade de São Paulo], 1973
名古屋大学 理学 図書室 理数理
LED||1||141680743