Stichting Mathematisch Centrum
Stichting Mathematisch Centrum. Zuivere Wiskunde

SMC Afdeling Zuivere Wiskunde, S. (1973). Existential instantiation in a system of natural deduction for intuitionistic arithmetics. Stichting Mathematisch Centrum. Zuivere Wiskunde. Stichting Mathematisch Centrum.