Checking Landau's "Grundlagen" in the AUTOMATH system
L.S. van Benthem Jutting
Bok Engelsk 1979
Utgitt | Amsterdam : Mathematisch Centrum , 1979
|
---|---|
Omfang | 120 s.
|
Emner | Landau, Edmund : Grundlagen des Analysis : (NO-TrBIB)90106870
AUTOMATH (Formal language) Machine translating Number theory |
ISBN | 9061961475
|