Skip to content

Inductive Complexity of Goodstein's Theorem.

Joachim Hertel

VenueCUC
Year2012
ProceedingsUCNC

Browse the full UC paper archive.