Tilbage til artikeldetaljer A Definability Theorem for First Order Logic Download Download PDF