Lesbare Formale Beweise in Isabelle/Isar — Der Satz von Hahn-Banach (1999)

by G Bauer
Venue:Master's thesis, TU Munchen