Mostrando 1 resultados

Descrição arquivística
Carsten Butz
Visualizar impressão
Visualização em ficha Visualização em tabela
Artigo
BR SPCLEARQ AMACL-AP-APesq-PITER-IT005 · Item · s.d.
Parte de Andrea Maria Altino de Campos Loparic
Parte de artigo escrito por Carsten Butz e Ieke Moerdijk intitulado "A definability theorem for first order logic".