Formalisert kompletthet av Skolem aritmetikk

Moen, Anders

May 18, 2000

DART

• Conference: Seminar in Mathematical Logic, Oslo
• Title: Formalisert kompletthet av Skolem aritmetikk
• Author(s): Moen, Anders
• Published date: May 18, 2000