Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen Justus Diller OriginalPaper Pages: 49 - 66
Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen Egon Börger OriginalPaper Pages: 67 - 84