Abstract
A formally intuitonistic theory equivalent to classical transfinite induction with respect to recursive wellfounded trees with function parameters
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have