Guidi, Ferruccio. 2015. “Verified Representations of Landau’s "Grundlagen" In the Lambda-Delta Family and in the Calculus of Constructions”. Journal of Formalized Reasoning 8 (1):93-116. https://doi.org/10.6092/issn.1972-5787/4716.