![](/img/cover-not-exists.png)
Review of "Checking Landau's "Grundlagen" in the Automath system" by L. S. Van Benthem Jutting. Mathematical Centre 1979.
Cherniavsky, JohnVolume:
12
Language:
english
Journal:
ACM SIGACT News
DOI:
10.1145/1008861.1008864
Date:
September, 1980
File:
PDF, 189 KB
english, 1980