TY - GEN AU - Costa,Newton C.A.da AU - Alcantara,Luiz Paulo de TI - Mathematical logic and formal systems: a collection of papers in honor of Professor Newton C.A. da Costa SN - 0824773306 (pbk.) U1 - 511.3 PY - 1985/// CY - New York PB - M. Dekker KW - Costa, Newton C. A. da KW - Logic, Symbolic and mathematical N1 - English and French; Contine bibliogr. si index ER -