François Marc Barro

• Verallgemeinerungen des Herbrand'schen Satzes und Anwendungen im Gebiet der Entscheidbarkeit von Formelklassen