Checking Landau’s Grundlagen in the Automath System (1994)

by van Benthem Jutting, L
Venue:In Selected Papers on Automath. North-Holland