Showing 1 results

Archival description
Carsten Butz
Print preview
Card view Table view
Artigo
BR SPCLEARQ AMACL-AP-APesq-PITER-IT005 · Item · s.d.
Part of Andrea Maria Altino de Campos Loparic
Parte de artigo escrito por Carsten Butz e Ieke Moerdijk intitulado "A definability theorem for first order logic".