Der Modellbegriff bei formalen Theorien erster Stufe und neue Beweise von Spezialfällen des Gödel'schen Unvollständigkeitssatzes - Wolff, Peter (1972)