Formalisert kompletthet av Skolem aritmetikk Publikasjonsdetaljer Arrangement: Seminar in Mathematical Logic, Oslo År: 2000 Du er her: Hjem Publikasjoner Vitenskapelig foredrag Formalisert kompletthet av Skolem aritmetikk