Constructing Kripke models of certain fragments of Heyting's arithmetic. Wehmeier, Kai F. — 1998 Publications de l'Institut Mathématique. Nouvelle Série
Zur Kenntnis der Induktionsmittel in der Embryonalentwicklung F. G. Fischer; Wehmeier — 1933 Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse