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