Report -  · FormalMathematicalSystemsincludinga StructuralInductionPrinciple Third revised version of the Preprint Nr. 31/2002 Fakult¨at f ur Mathematik¨ Otto-von-Guericke ...

Please pass captcha verification before submit form