Das deutsche digitale Zeitschriftenarchiv
Free access
Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität.K. Madlener; J. Avenhaus3PDF
On the elementary theory of inductive order.E.A. Sonenberg13PDF
A note on ...-categorical model-companions.Volker Weispfennig23PDF
Choice sequences and reduction processes.R. Haberthür31PDF
Charakterisierung der Aufzählungsreduzierbarkeit.Friedrich Hebeisen89PDF
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionsz...Martin Wirsing97PDF
The operator gap theorem in ...-recursion theory.Robert A. Di Paola115PDF
A new type assignment for ...-terms.M. Coppo; M. Dezani-Ciancaglini139PDF