Checking Landau's "Grundlagen" in the automath system
By: L. S. van Benthem Jutting.
Series: Mathematical Centre tracts ; 83; Mathematical Centre tracts ;; 83.
Publisher: Mathematisch Centrum
Published: 1979
Place of publication: Amsterdam
Language: eng
Number of pages: 120
Subjects: Landau, Edmund, 1877-1938.; Number theory.; AUTOMATH (Formal language); Machine translating.
Notes: Bibliography: p. 120.