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
|
