Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume

Stephen G. Simpson. Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume. Arch. Math. Log., 25(1):45-65, 1985. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.