Peter Hinst

, 1977, 'Freges Analyse der Hilbertschen Axiomatik', Grazer Philosophische Studien 3, 47-57.