CCompleteness and definabilityCompleteness and definabilityde Kees DoetsEdiciones (1)Completeness and definability (1987)inglésMás obras de Kees DoetsSwords and sustenanceBasic model theory1996From logic to logic programming1994