TY - EJOUR T1 - On the Invariance of Goedel's Second Theorem with Regard to Numberings AU - Grabmayr, Balthasar PY - 2020 LA - eng PB - Humboldt-Universität zu Berlin JO - The review of symbolic logic DO - http://dx.doi.org/10.18452/26197 ER -