Proceeding of mathematical logic - Arruda Ayda I Ed.; Chuaqui Rolando Ed.; Costa Newton C. A. da Ed. (New York Marcell Dekker, 1978)
Keywords: Mathematics; Symbolic; Logic