Checking Landau's “Grundlagen” in the Automath System

• 1 January 1994
• book chapter
• Published by Elsevier
• p. 701-720
• https://doi.org/10.1016/s0049-237x(08)70222-2

Abstract