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

by L S van
Venue:Eindhoven University of Technology