Fragments of Arithmetic and true sentences
scientific article; zbMATH DE number 2173125
scientific article