Benthem Jutting. Checking Landau’s “Grundlagen” in the Automath system (1977)

by L S van