Andreas Schlüter

List of publications from the DBLP Bibliography Server - FAQ

1997

1 Thomas Glaß, Michael Rathjen, Andreas Schlüter: On the Proof-Theoretic Strength of Monotone Induction in Explicit Mathematics. Ann. Pure Appl. Logic 85(1): 1-46 (1997)

1997
1		Thomas Glaß, Michael Rathjen, Andreas Schlüter: On the Proof-Theoretic Strength of Monotone Induction in Explicit Mathematics. Ann. Pure Appl. Logic 85(1): 1-46 (1997)

Coauthor Index