Login / Signup
Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume.
Stephen G. Simpson
Published in:
Arch. Math. Log. (1985)
Keyphrases
</>