The \textit{Tractatus} system of arithmetic
interpretability of the equational fragment of Peano Arithmetic
scientific article; zbMATH DE number 1320690