Mostrando 1 resultados

Descrição arquivística
Relatório
BR SPCLEARQ AIA-I-64 · Item · 1975
Parte de Ayda Ignez Arruda

DZIK, Wojciech. On structural completeness of some nonclassical predicate calculi. Reports on Mathematical Logic, s.l., v.5, p.19-26, 1975.

Ayda Ignez Arruda