Formalisert kompletthet av Skolem aritmetikk Publication details Event: Seminar in Mathematical Logic, Oslo Year: 2000 You are here: Home Publications Scientific lecture Formalisert kompletthet av Skolem aritmetikk