Eine in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen (1985)

by K Schütte, S Simpson
Venue:Archiv für Mathematische Logik and Grundlagenforschung