Author Details

Ullrich, Dirk, Mathematik TU Berlin, Germany

  • No 6 (1998) - Articles
    A general principle for purely model-theoretical proofs of Gödel’s second incompleteness theorem
    Abstract  PDF


Partnerzy platformy czasopism