In den Leitartikeln der von Gustaf Eneström herausgegebenen Zeitschrift zur Mathematikgeschichte "Bibliotheca Mathematica" befasst er sich mit methodischen Fragen der mathematikhistorischen Forschung.
Inhalt: - Gert H. Müller - Grundlagen der Zahlentheorie und Analysis vom deduktiven Gesichtspunkt - - Vorbemerkung - - Die Formalisierung der Mathematik und Logik - - Der klassische Ansatz - - Ein fundamentales Ergebnis der Beweistheorie - - Intuitionismus - - Zurück zur klassischen Auffassung der Mathematik