Stichting Mathematisch Centrum
Stichting Mathematisch Centrum. Zuivere Wiskunde

Leivant, D. (1975). Failure of completeness properties of intuitionistic predicate logic for constructive models : (preliminary report). Stichting Mathematisch Centrum. Zuivere Wiskunde. Stichting Mathematisch Centrum.