Guidi, F. 2015. Verified Representations of Landau’s "Grundlagen" in the lambda-delta Family and in the Calculus of Constructions. Journal of Formalized Reasoning. 8, 1 (Jan. 2015), 93–116. DOI:https://doi.org/10.6092/issn.1972-5787/4716.