Mathematical logic : proceedings - Arruda A I ed.; Brazilian Conference on Mathematical Logic( 1st : 1977 : Universidad Estadual de Campinas); Brazilian Conference on Mathematical Logic 1st , 1977 (New-York Dekker, 1978)
Keywords: Mathematical logic; Symbolic logic