1989]: ‘Herbrand-analysen zweier Beweise des Satzes von Roth: Polynomial Anzahlschranken (0)

by Horst Luckhardt
Venue:Journal of Symbolic Logic