Viggo Stoltenberg-Hansen

• Logic Colloquium '03
• Logic Colloquium '03
• Logicism, intuitionism, and formalism
• Mathematical theory of domains
• Logicism, Intuitionism, and Formalism